b[2] = VariableFactory.enumerated("b3", new int[]{-4, 2}, solver);
solver.post(IntConstraintFactory.lex_less(a, b));
try {
solver.propagate();
} catch (ContradictionException e) {
Assert.fail();
}
Assert.assertEquals(-1, b[0].getLB());
// SearchMonitorFactory.log(solver, true, false);