Variable variable = new Variable(vid2.getId());
Type type = getType(abstractSignature, typ);
varList.add(new Var(variable, type));
}
Term term1 = getTerm(abstractSignature, fraenkel.getTerm(), vid2);
termDli = new Fraenkel(varList, term1, getFormula(abstractSignature, fraenkel.getFormula(), vid2));
} else throw new DliException();
return termDli;
}