A CSight representation a binary temporal invariant, inv(first,second), where first/second are the related event types. An invariant also includes synthetic event types that are solely used to track and specify when the first/second events occur during model checking.
source not stored for this graph (policy: none)
nothing calls this directly
no outgoing calls
no test coverage detected