Assertion list for term "number of checks".

Results from Ascent++: 1
vector HasAnumber of checks 0.28