Assertion list for term "call wait".

Results from Ascent++: 1
thread CapableOfcall wait 0.57