Assertion list for term "cover construction".

Results from Ascent++: 1
execution CapableOfcover construction 0.27