state_name

state_name ::= identifier 

[rule list]
This rule is called by

-> cycle -> refinement -> synchro