Solver s = new Solver();
IntVar ivar = VF.enumerated("ivar", new int[]{1, 2, 3, 888, 1000, 2000}, s);
ivar.removeValue(1000, Cause.Null);
DisposableRangeIterator iter = ivar.getRangeIterator(true);
Assert.assertEquals(iter.min(), 1);
Assert.assertEquals(iter.max(), 3);
iter.next();
Assert.assertEquals(iter.min(), 888);
Assert.assertEquals(iter.max(), 888);
iter.next();