exit_statement ::= 
  EXIT [label_name] [WHEN boolean_expression];