refinement

refinement ::= "refine" transition_name "by" ( 
      ( "SEQ" transition_name "<" state_name ">" transition_name 
      { "<" state_name ">" transition_name } ) | 
      ( "PAR" transition_name transition_name { transition_name } ) | 
      ( "ALT" transition_name transition_name { transition_name } ) ) 

This rule is called by

-> dyn_operator