@Test
public void testMultiply(){
IntervalExpressionSemantics sem = new IntervalExpressionSemantics();
//bottom
org.junit.Assert.assertEquals(Interval.BOTTOM, sem.times(Interval.BOTTOM, Interval.BOTTOM));
org.junit.Assert.assertEquals(Interval.BOTTOM, sem.times(Interval.BOTTOM, new Interval(-1,2)));
org.junit.Assert.assertEquals(Interval.BOTTOM, sem.times(Interval.BOTTOM, new Interval(1, Double.POSITIVE_INFINITY)));
org.junit.Assert.assertEquals(Interval.BOTTOM, sem.times(Interval.BOTTOM, new Interval(Double.NEGATIVE_INFINITY, 1)));
org.junit.Assert.assertEquals(Interval.BOTTOM, sem.times(Interval.BOTTOM, new Interval(Double.NEGATIVE_INFINITY, Double.POSITIVE_INFINITY)));
org.junit.Assert.assertEquals(Interval.BOTTOM, sem.times(new Interval(-1,2), Interval.BOTTOM));