exception documentation

Do not visit the current node's children, and do not call the current node's depart_... method.