Assertion list for term "deposit into first account".

Results from Ascent++: 1
check CapableOfdeposit into first account 0.50