Assertion list for term "returned by the bank".

Results from Ascent++: 2
check ReceivesActionreturned by the bank 0.64
payment ReceivesActionreturned by the bank 0.57