Writes to global variables incorrectly eliminated #279
Description
Writes to global variables may be incorrectly eliminated by the Data Flow Optimization.
The issue only affects a sufficiently complex code, so no short example can be given at the moment.
To fix the issue, DFO will not eliminate writes to global variables at all. This removes some global variable optimizations that were available before. This is a new issue that will be resolved separately.