If true, only traverse statements at the current level without going into nested statements. It should be used when calling this function inside one of the iterators.
Mutated fields and local identifiers, including nested fields of mutated structure instances
Collects mutations local or state mutations within the statements.