Assertion list
queue (aspect of semaphore ) → HasProperty
Results from Ascent++: 2
queue → HasProperty → full 0.59
queue → HasProperty → empty 0.25