Assertion list for term "use the least number of choices".

Results from Ascent++: 1
program CapableOfuse the least number of choices 0.43