Assertion list for term "remain in default".

Results from Ascent++: 1
debt CapableOfremain in default 0.52