org.junit.Assert.assertEquals(Interval.BOTTOM, sem.plus(new Interval(-1,2), Interval.BOTTOM));
org.junit.Assert.assertEquals(Interval.BOTTOM, sem.plus(new Interval(1, Double.POSITIVE_INFINITY), Interval.BOTTOM));
org.junit.Assert.assertEquals(Interval.BOTTOM, sem.plus(new Interval(Double.NEGATIVE_INFINITY, 1), Interval.BOTTOM));
org.junit.Assert.assertEquals(Interval.BOTTOM, sem.plus(new Interval(Double.NEGATIVE_INFINITY, Double.POSITIVE_INFINITY), Interval.BOTTOM));
org.junit.Assert.assertEquals(TOP, sem.plus(TOP, TOP));
org.junit.Assert.assertEquals(TOP, sem.plus(TOP, new Interval(1,2)));
org.junit.Assert.assertEquals(TOP, sem.plus(TOP, new Interval(1,Double.POSITIVE_INFINITY)));
org.junit.Assert.assertEquals(TOP, sem.plus(TOP, new Interval(Double.NEGATIVE_INFINITY, 3)));
org.junit.Assert.assertEquals(TOP, sem.plus(new Interval(Double.NEGATIVE_INFINITY, -1), new Interval(1,Double.POSITIVE_INFINITY)));
org.junit.Assert.assertEquals(TOP, sem.plus(new Interval(Double.NEGATIVE_INFINITY, 1), new Interval(-1,Double.POSITIVE_INFINITY)));