Assertion list for term "cover instrumentation".

Results from Ascent++: 1
lecture CapableOfcover instrumentation 0.28