Assertion list for term "pointed out to client".

Results from Ascent++: 1
hazard ReceivesActionpointed out to client 0.25