bugfix: when propagating inside out into a caller that was not yet processed we need to create a summary edge starting at ZERO, not at the callee's flow fact!
Merge commit '987a7a4cd3a22d19845fd59885bfd25170798fe7' into develop