  <emu-clause id="sec-semantics-static-semantics-early-errors">
    <h1>Static Semantics: Early Errors</h1>
    <emu-grammar>
      IterationStatement :
        `do` Statement `while` `(` Expression `)` `;`
        `while` `(` Expression `)` Statement
        `for` `(` Expression? `;` Expression? `;` Expression? `)` Statement
        `for` `(` `var` VariableDeclarationList `;` Expression? `;` Expression? `)` Statement
        `for` `(` LexicalDeclaration Expression? `;` Expression? `)` Statement
        `fo