Assertion list for term "enter critical section".

Results from Ascent++: 1
thread CapableOfenter critical section 0.37