Assertion list for term "canceled by the user".

Results from Ascent++: 1
operation ReceivesActioncanceled by the user 0.23