termDli = new Func(itemId, termList);
}
} else if (term instanceof org.mizartools.system.xml.Choice) {
termDli = new The(getType(abstractSignature, ((org.mizartools.system.xml.Choice)term).getTyp()));
} else if (term instanceof org.mizartools.system.xml.Num) {
termDli = new Num(((org.mizartools.system.xml.Num)term).getNr());
} else if (term instanceof org.mizartools.system.xml.Fraenkel) {
org.mizartools.system.xml.Fraenkel fraenkel = (org.mizartools.system.xml.Fraenkel)term;
LinkedList<Var> varList = new LinkedList<Var>();
VariableId vid2 = new VariableId();
vid2.setId(vid.getId());