getSingleBoxAndVerify(new IntervalValue(5,6), new IntervalValue(5, 6), new IntervalValue(3, 3)));
IntegerBoxes second = IntegerBoxesHelper.join(
getSingleBoxAndVerify(new IntervalValue(0, 1), new IntervalValue(1,2)),
getSingleBoxAndVerify(new IntervalValue(6, 6), new IntervalValue(5,5)));
org.junit.Assert.assertFalse(first.leq(second));
org.junit.Assert.assertTrue(second.leq(first));
}
@Test
public void testIsTop() {
IntegerBoxes b = IntegerBoxes.BOTTOM;