The given FlowBlock may already be a BlockMultiGoto, otherwise we add the new BlockMultiGoto to \b this. \param bl is the given FlowBlock with the new \e goto edge \param outedge is the index of the outgoing edge to make into a \e goto \return the (possibly new) BlockMultiGoto
source not stored for this graph (policy: none)
no test coverage detected