Assertion list for term "redo analysis".

Results from Ascent++: 1
criticism CapableOfredo analysis 0.28