Propagation
Unfortunately, propagating EXPOSED and PRESERVED information among basic blocks is not as easy as constructing it for any given block
The problem is loops, which may allow information from statements executed subsequently to a given statement to propagate back to that statement during a later iteration of the loop