Symbol: sbool_a_minus_b