Terminate state when enter in root final state
Verify state machine definition correctness before state machine usable