exception_choice ::= exception_name | "others"
This rule is called by -> exception_handler
-> exception_handler