@Test
public void testGetFallback() throws Exception{

    CategorizedReal cs = new CategorizedReal(getCategorize2Real());
    assertTrue(cs.getFallbackValue().equals(-15.0));
    cs = new CategorizedReal(new RealLiteral(16.8));
    assertTrue(cs.getFallbackValue().equals(16.8));
}