larations of |Statement|.
    </emu-alg>
    <emu-grammar>IterationStatement : `for` `(` `var` ForBinding `in` Expression `)` Statement</emu-grammar>
    <emu-alg>
      1. Let _declarations_ be a List containing |ForBinding|.
      1. Append to _declarations_ the elements of the VarScopedDeclarations of |Statement|.
      1. Return _declarations_.
    </emu-alg>
    <emu-grammar>IterationStatement : `for` `(` ForDeclaration `in` Expression `)` Statement</emu-grammar>
    <emu-alg>
      1. Return the VarSc