add pseudo code for pipeline stage propagation