Assertion list for term "withdraw the money".

Results from Ascent++: 2
recipient CapableOfwithdraw the money 0.49
lender CapableOfwithdraw the money 0.41