Assertion list for term "redeemed at corresponding bank".

Results from Ascent++: 1
note ReceivesActionredeemed at corresponding bank 0.34