Assertion list for term "check for side effects".

Results from Ascent++: 1
note CapableOfcheck for side effects 0.33