Assertion list
semaphore (primary) → SimilarTo

Results from Ascent++: 1
semaphoreSimilarTo mutex 0.25