allow inconsistent bounds in ToySolver.SAT.Integer.newVar