Implement RequireLexicalLoopIterators
Implement ProhibitPostfixControls