This takes care of the case when RHS is a literal expression like (a,b) > 7.