Assertion list
count (aspect of semaphore ) → HasProperty
Results from Ascent++: 2
count → HasProperty → zero 0.68
count → HasProperty → greater than 0 0.25