Assertion list
elimination (primary) → HasA
Results from Ascent++: 2
elimination → HasA → little effect 0.33
elimination → HasA → large impact 0.25