In the non-strict mode assembly, add checks: * [ ] before and after the jump, the named stack elements stay at the same positions * [ ] the control-flow source and destination of `continue` have named stack elements at the same positions * [ ] the control-flow source and destination of `break` have named stack elements at the same positions * [ ] the control-flow source and destination of `switch` have named stack elements at the same positions * [ ] the control-flow source and destination of `for` have named stack elements at the same positions
In the non-strict mode assembly, add checks:
continuehave named stack elements at the same positionsbreakhave named stack elements at the same positionsswitchhave named stack elements at the same positionsforhave named stack elements at the same positions