Assertion list for term "do most".

Results from Ascent++: 1
algorithm CapableOfdo most 0.22