Assertion list for term "two lists".

Results from Ascent++: 1
flint HasAtwo lists 0.25