Statemachine should verify states and transitions [#30475489]