Symbol: sbool_b_minus_a