Assertion list
semaphore (primary) → HasA
Results from Ascent++: 2
semaphore → HasA → count 0.30
semaphore → HasA → value 0.30