bugfix: were propagating incorrect values at return-flow edges