+ state transitions for local and initial states
~ renaming: modify is now update