Propagation for straight-line code


Propagation for straight-line code