There is no need to erase the top_level flag on EXIT_TREE. During ENTER_TREE, `top_level = true` is not necessary, because it is already set to true.
There is no need to erase the top_level flag on EXIT_TREE. During ENTER_TREE, `top_level = true` is not necessary, because it is already set to true.