Update testCasesIsNextState_4