Associate a structured block as a full \e case of \b this switch. \param switchbl is the underlying switch statement block \param bl is the new block to make into a case \param gt gives the unstructured branch type if the switch edge to the new case was unstructured (zero otherwise)
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected