Assertion list for term "less than n elements".

Results from Ascent++: 1
vector HasAless than n elements 0.25