Assertion list for term "never run dry".

Results from Ascent++: 1
cup CapableOfnever run dry 0.16