CPS Transformer: Yield in for loop headers