Increase the nesting level, setting the new top nesting level to the one specified. If pushing a function or state and it overrides a similar thing declared on a lower nesting level, verifies that the override is legal.
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected