Assertion list for term "settled in case".

Results from Ascent++: 1
debt ReceivesActionsettled in case 0.32