select_alternative

select_alternative ::= 
      accept_alternative 
      | delay_alternative 
      | terminate_alternative 

This rule is called by

-> selective_accept