Initial FinitStateMachine commit