Assertion list
chisel (primary) → HasA
Results from Ascent++: 1
chisel → HasA → sharp edge 0.42