Assertion list for term "avoid redundancy".

Results from Ascent++: 1
format CapableOfavoid redundancy 0.23