public Object accept(FOLVisitor v, Object arg) { return v.visitFunction(this, arg); }
public Function subst(Dictionary<Variable, Term> theta, Function aFunction) { return (Function)aFunction.accept(this, theta); }