Assertion list for term "sufficient to cover the payment".

Results from Ascent++: 1
limit ReceivesActionsufficient to cover the payment 0.27