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