synchro

synchro ::= ( "SIM" transition_name "and" transition_name ) | 
      ( "PRED" transition_name [ "<" state_name ">" ] 
      "over" transition_name ) 

This rule is called by

-> dyn_operator