Assertion list for term "reduce clenching".

Results from Ascent++: 1
splint CapableOfreduce clenching 0.36