Propagation for straight-line code