state_name ::= identifier
This rule is called by -> cycle -> refinement -> synchro
-> cycle -> refinement -> synchro