Assertion list
reduction (primary) → HasA
Results from Ascent++: 4
reduction → HasA → impact 0.42
reduction → HasA → little impact 0.25
reduction → HasA → large impact 0.16
reduction → HasA → negative impact 0.16