Fix uninitialized state
Add fsm construction traces
Add fsm error state