Statements

statement ::= attribute* (let-statement |
                          defer-statement |
                          expression-statement)