@Test
public void testFreeVars() {
FreeVars fv;
String[] types = utils.getRelation(0).getFullyQualifiedTypes();
RelationshipPredicate lP = new RelationshipPredicate(utils.getRelation(0), new SpecVar[] {utils.getVar(0), utils.getVar(2)});
RelationshipPredicate rP = new RelationshipPredicate(utils.getRelation(0), new SpecVar[] {utils.getVar(0), utils.getVar(1)});
ImpliesPredicate pred = new ImpliesPredicate(lP, rP);
fv = pred.getFreeVariables();
assertEquals(types[0], fv.getType(utils.getVar(0)));
assertEquals(types[1], fv.getType(utils.getVar(1)));