Avoid u+k <= v constraints, don't take the sup of an algebraic universe during
minimization.