Polishing of visitors

This PR finished a TODO item.
Shouldn't this be `preorder_traversal_stop` ?