Update testCasesGetNextState_9