Assertion list for term "leave to cure".

Results from Ascent++: 1
concrete CapableOfleave to cure 0.31