Assertion list for term "repay entire loan".

Results from Ascent++: 1
principal CapableOfrepay entire loan 0.25