statement

statement ::= { label } ( simple_statement | compound_statement ) 

This rule is called by

-> sequence_of_statements