The given block must have a single output block, which will be removed. The given block has the p-code from the output block concatenated to its own, and it inherits the output block's out edges. \param bl is the given basic block
source not stored for this graph (policy: none)
no test coverage detected