The given FlowBlock must have exactly one output. That output must have exactly one input. The output FlowBlock is removed and any outgoing edges it has become outgoing edge of the given FlowBlock. The output FlowBlock is permanently removed. It is viewed as being \e spliced together with the given FlowBlock. \param bl is the given FlowBlock
source not stored for this graph (policy: none)
no test coverage detected