public boolean isEqual(Term t) { Term tt = getTerm(); if (tt == this) { t = t.getTerm(); return (t instanceof Var && timestamp == ((Var) t).timestamp); } else { return tt.isEqual(t); } }