So in "x = x + 1", x in its next state is mathematically equal to x + 1 in the state before the assignment
So in "x = x + 1", x in its next state is mathematically equal to x + 1 in the state before the assignment