We might not be able to redirect the jump from the block formerly the predecessor of PRO, to jump over the new block (it was not necessarily a fallthrough edge, could be EDGE_COMPLEX). In most cases we could do it of course. I would prefer not to add special case code (that is not as well tested).
If there was a jump already, there's no need to redirect it? Only a fallthru edge would be affected by a new block before its target, or am I missing something?
Bernd
