statements ::= statement ( ';' statement )\stern .
statement ::= [ assignment | begin_block | conditional_statement |
case_statement | type_case_statement | loop | 'break' |
expression | 'resume' | 'return' |
raise_statement | assertion_statement] .