Assertion list for term "reduce girth".

Results from Ascent++: 1
week CapableOfreduce girth 0.22