in any case we are missing this explicit test here. it's a must. just like you had the test for initial state, we need one for non initial state.