label

label ::= "<<" statement_identifier ">>" 

This rule is called by

-> statement