Assertion: semaphore's value | /r/HasProperty | incremented
Facets:
Source sentences:
text: Cancel is like the thread never existed so the counter value should be incremented.
text: These would guarantee that the value was incremented and decremented safely, and in fact would work correctly.