adds StateMachineConfig module