Assertion list for term "returned to the requesting process".
Results from Ascent++: 1
exception → ReceivesAction → returned to the requesting process 0.27