Assertion list
message queue (subgroup of queue ) → HasProperty
Results from Ascent++: 2
message queue → HasProperty → empty 0.68
message queue → HasProperty → full 0.68