Assertion list for term "continue borrowing".

Results from Ascent++: 1
treasury CapableOfcontinue borrowing 0.33