cycle ::= ( "ACT" | "SUB" ) transition_name [ "initial" "<" state_name ">" ]
This rule is called by -> dyn_operator
-> dyn_operator