Assertion list for term "continue with widening".

Results from Ascent++: 1
erosion CapableOfcontinue with widening 0.25