Assertion list
passing (primary) → HasA
Results from Ascent++: 1
passing → HasA → impact 0.25