if (term == null) return null;
Term termDli = null;
if (term instanceof org.mizartools.system.xml.Var) {
termDli = new Variable(((org.mizartools.system.xml.Var)term).getNr());
} else if (term instanceof org.mizartools.system.xml.LocusVar) {
termDli = new LocusVar(((org.mizartools.system.xml.LocusVar)term).getNr());
} else if (term instanceof org.mizartools.system.xml.Func) {
org.mizartools.system.xml.Func func = (org.mizartools.system.xml.Func) term;
LinkedList<Term> termList = new LinkedList<Term>();
for (org.mizartools.system.xml.Term term1 : func.getTermList()) {
termList.add(getTerm(abstractSignature, term1, vid));