StateMachine: decision to be a volatile or persistent state machine is taken by the StateMachine implementation