Add the new BlockGoto to \b this, incorporating the given FlowBlock \param bl is the given FlowBlock whose outgoing edge is to be marked as a \e goto \return the new BlockGoto
source not stored for this graph (policy: none)
no test coverage detected