Exception in thread "Thread-0" java.lang.StackOverflowError at java.util.HashMap.putVal(HashMap.java:629) at java.util.HashMap.put(HashMap.java:612) at com.nti.term.Variable.deepCopyAux(Variable.java:216) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470)