Assertion list for term "never been folded".

Results from Ascent++: 1
poster CapableOfnever been folded 0.34