Look for a switch case that falls thru to another switch case, starting with the given switch FlowBlock. \param bl is the given FlowBlock \return \b true if the structure was applied
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected