Assertion list for term "include without injury".

Results from Ascent++: 1
hazard CapableOfinclude without injury 0.29