Assertion list for term "refunded to the client".

Results from Ascent++: 2
sum ReceivesActionrefunded to the client 0.41
rest ReceivesActionrefunded to the client 0.39