public Object visitTermEquality(TermEquality equality, Object arg) { Term newTerm1 = (Term)equality.getTerm1().accept(this, arg); Term newTerm2 = (Term)equality.getTerm2().accept(this, arg); return new TermEquality(newTerm1, newTerm2); }