Assertion list for term "fail to correct defect".

Results from Ascent++: 1
builder CapableOffail to correct defect 0.16