public Object visitFunction(Function function, Object arg) { foreach (Term t in function.getTerms()) { t.accept(this, arg); } return function; }