Verify the previous state as part of every state transition