Given a specific basic-block, figure out which edge out of the switch block hits it. This \e position is different from the index into the address table, the out edges are deduped and may include additional guard destinations. If no edge hits it, throw an exception. \param bl is the specific basic-block \return the position of the basic-block
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected