Given the list of components for the switch structure, build the annotated descriptions of the cases. Work out flow between cases and if there are any unstructured cases. The first FlowBlock in the component list is the switch component itself. All other FlowBlocks in the list are the \e case components. \param switchbl is the underlying basic block, with multiple outgoing edges, for the switch
source not stored for this graph (policy: none)
no test coverage detected