Notions of state coverage: Set of delivered messages (MESSAGE_SET), order of delivered messages (MESSAGE_ORDER), set of messages delivered out-of-order (OOO_SET)
