Assertion list for term "renew at maturity".

Results from Ascent++: 2
certificate CapableOfrenew at maturity 0.32
account (aspect of bank) CapableOfrenew at maturity 0.29