@Test
public void testGetFromCategorize(){

    CategorizedReal cs = new CategorizedReal(getCategorize2Real());
    assertTrue(cs.get(20.0).equals(24.0));
    assertTrue(cs.get(Double.NEGATIVE_INFINITY).equals(100.0));
    assertNull(cs.get(25.0));
    assertTrue(cs.get(30.0).equals(0.1));
    cs = new CategorizedReal(new RealLiteral(16.8));
    assertNull(cs.get(25.0));
    assertTrue(cs.get(Double.NEGATIVE_INFINITY).equals(16.8));
}