The normal edge of an invoke is not allowed to branch to a block with a