Assertion list for term "cured within reasonable time".

Results from Ascent++: 1
default ReceivesActioncured within reasonable time 0.27