Interface TermVisitor<EX extends Exception>