} else {
ItemId itemId = getItemId(abstractSignature, func.getKind(), func.getNr());
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>();