Exception in thread "Thread-0" java.lang.StackOverflowError at java.util.HashMap.hash(HashMap.java:339) at java.util.HashMap.get(HashMap.java:557) at com.nti.term.Variable.deepCopyAux(Variable.java:213) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470)