def geq(lhs, rhs): return constraint(lhs, GT, rhs)
def eq(lhs, rhs): return constraint(lhs, EQ, rhs)
def leq(lhs, rhs): return constraint(lhs, LT, rhs)