Add the new BlockSwitch to \b this, collapsing all the case FlowBlocks into it. \param cs is the list of case FlowBlocks \param hasExit is \b true if the switch has a formal exit \return the new BlockSwitch
source not stored for this graph (policy: none)
no test coverage detected