Assertion list
deflation (primary) → DefinedAs

Results from Ascent++: 1
deflationDefinedAs decrease 0.35