ation has the form:

<pre>
<em>Identifier</em> : <em>t</em>
</pre>

    then the created variable can refer to objects of type <em>t</em>.
    Initially, it refers to an arbitrary object.

    <h3>Statements</h3>

<pre>
Statement   : Identifier ":=" Expression ";"
            | Identifier "[" Expression "]" ":=" Expression ";"
            | Conditional
            | Iteration
            | "EXIT" ";"
            | "RETURN" Expression ";".
Conditional : "IF" Expression "THEN" StatementSeq ("ELSE" StatementSe