Assertion list for term "violate instruction".

Results from Ascent++: 1
submission CapableOfviolate instruction 0.27