Stop the traversal alltogether. The current node's depart_... method
is not affected. The parent nodes depart_... methods are also called
as usual. No other nodes are visited. This is an alternative to
NodeFound that does not cause exception handling to trickle up to the
caller.