Correct visit_or_term example.