Assertion list for term "repay the surety".

Results from Ascent++: 1
principal CapableOfrepay the surety 0.40