Assertion list for term "remain leak-free".

Results from Ascent++: 1
pipe CapableOfremain leak-free 0.25