Assertion list for term "strengthen check".

Results from Ascent++: 1
necessity CapableOfstrengthen check 0.30