Represents a bad configuration in the CFSM, which will be tested for reachability by the McScM model checker. A bad configuration includes (1) a CFSM state, and (2) a list of regular-expressions, one per channel, that describes queue contents.
source not stored for this graph (policy: none)
nothing calls this directly
no outgoing calls
no test coverage detected