\brief Remove a basic block splitting its control-flow into two distinct paths This is used by ConditionalExecution to eliminate unnecessary control-flow joins. The given block must have 2 inputs and 2 outputs, (and no operations). The block is removed, and control-flow is adjusted so that In(0) flows to Out(0) and In(1) flows to Out(1), or vice versa. \param bl is the given basic block \param s
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected