Update testCasesGetNextState_4.txt