Assertion list
piranha (primary) → HasA
Results from Ascent++: 1
piranha → HasA → next generation 0.16