Also fixes the control flow analysis for loop variable assignments in this case.
Closes https://github.com/cython/cython/issues/3787