Sets the 'inTopLevelFunctor' flag, whenever the traversal is directly within a top-level functors arguments.
This is set at the end, so that subsequent calls to this will pick up the state of this flag at the point
immediately below a top-level functor.