The compiler deduces that even though the statement `node = next` is inside an `if`, it is more general, so it removes both `node++` and the `if`.