abortable_part

abortable_part ::= sequence_of_statements 

This rule is called by

-> asynchronous_select