Assertion list for term "avoid further leaks".

Results from Ascent++: 1
pipe CapableOfavoid further leaks 0.37