787788789790791792793794795796797
/** * @see ATermFactory#importTerm(ATerm) */ public ATerm importTerm(ATerm term){ SharedObject object = (SharedObject) term; if(contains(object)) return term; ATerm result; switch(term.getType()){