@marcus

I propese an extra usage tag #writeInLoop, that is only set on assignments within a loop.

And then, mark an "escaping" var in an optimized loop only as "escapingWrite", if it is marked as "writeInLoop".