Assertion list for term "reduce to single peg".

Results from Ascent++: 1
yellow CapableOfreduce to single peg 0.25