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