Assertion list for term "withdraw all the funds".

Results from Ascent++: 1
criminal CapableOfwithdraw all the funds 0.25