vid2.setId(vid.getId());
for (org.mizartools.system.xml.Typ typ : fraenkel.getTypList()) {
vid2.increment();
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;