Assertion list for term "simplification".

Results from Ascent++: 1
limit HasPrerequisitesimplification 0.27