Assertion list for term "withdraw same amount".

Results from Ascent++: 1
retiree CapableOfwithdraw same amount 0.25