let mk_lt (a, b) = mk_in (Arith.mk_sub a b, Sign.Neg)