1. convert fo/FOTreeVisitor to an interface 2. give all FOTreeVisitor methods a unique name (instead of overloading)