Assertion list for term "see the violation".

Results from Ascent++: 1
inspector CapableOfsee the violation 0.25