org.junit.Assert.assertEquals(Interval.BOTTOM, sem.minus(Interval.BOTTOM, Interval.BOTTOM));
org.junit.Assert.assertEquals(Interval.BOTTOM, sem.minus(Interval.BOTTOM, new Interval(-1,2)));
org.junit.Assert.assertEquals(Interval.BOTTOM, sem.minus(Interval.BOTTOM, new Interval(1, Double.POSITIVE_INFINITY)));
org.junit.Assert.assertEquals(Interval.BOTTOM, sem.minus(Interval.BOTTOM, new Interval(Double.NEGATIVE_INFINITY, 1)));
org.junit.Assert.assertEquals(Interval.BOTTOM, sem.minus(Interval.BOTTOM, new Interval(Double.NEGATIVE_INFINITY, Double.POSITIVE_INFINITY)));
org.junit.Assert.assertEquals(Interval.BOTTOM, sem.minus(new Interval(-1,2), Interval.BOTTOM));
org.junit.Assert.assertEquals(Interval.BOTTOM, sem.minus(new Interval(1, Double.POSITIVE_INFINITY), Interval.BOTTOM));
org.junit.Assert.assertEquals(Interval.BOTTOM, sem.minus(new Interval(Double.NEGATIVE_INFINITY, 1), Interval.BOTTOM));
org.junit.Assert.assertEquals(Interval.BOTTOM, sem.minus(new Interval(Double.NEGATIVE_INFINITY, Double.POSITIVE_INFINITY), Interval.BOTTOM));
Interval top = new Interval(Double.NEGATIVE_INFINITY, Double.POSITIVE_INFINITY);