Assertion list for term "use with finding".

Results from Ascent++: 1
benchmark CapableOfuse with finding 0.30