public boolean isGreater(Term t) { Term tt = getTerm(); if (tt == this) { t = t.getTerm(); if (!(t instanceof Var)) return false; return timestamp > ((Var) t).timestamp; } else { return tt.isGreater(t); } }