utils = new TestUtils();
}
@Test
public void testFreeVars() {
FreeVars fv;
Predicate bPred = new BooleanValue(utils.getVar(0));
fv = bPred.getFreeVariables();
assertEquals(1, fv.size());
assertEquals(fv.getType(utils.getVar(0)), FreeVars.BOOL_TYPE);
}