Assertion list
arithmetic (primary) → HasA
Results from Ascent++: 1
arithmetic → HasA → excessive amount of impression 0.16