A state machine has a final state, it should not be able to rewind the associated states
A state machine has a final state, it should not be able to rewind the associated states