public static interface SimpleTerm.MatchingTermVisitor
void
visitMatchingTerm(Term t)
public void visitMatchingTerm(Term t) throws IOException