Assertion list for term "break as a result of a covered".

Results from Ascent++: 1
pipe CapableOfbreak as a result of a covered 0.16