Assertion list for term "cover removal".

Results from Ascent++: 1
concrete CapableOfcover removal 0.25