Statement labeling

Statement labeling[18]:

statement: [ LblIdUse ':' ] unlabeled_statement .
unlabeled_statement: .
unlabeled_statement: variable ':=' expression .
unlabeled_statement: ProcCall .
unlabeled_statement: 'goto' LblIdUse .
unlabeled_statement: 'begin' StmtList 'end' .
unlabeled_statement: 'case' expression 'of' cases 'end' .
unlabeled_statement: 'repeat' StmtList 'until' expression .
unlabeled_statement: 'while' expression 'do' statement .
unlabeled_statement: 'for' ExpIdUse ':=' expression
                              'to' expression 'do' statement .
unlabeled_statement: 'for' ExpIdUse ':=' expression
                              'downto' expression 'do' statement .
unlabeled_statement: InOutStmt .

This macro is invoked in definition 12.