Support exprs like (x + y <= z) or (x + y >= z)