terminate_alternative

terminate_alternative ::= "terminate" ";" 

This rule is called by

-> select_alternative