Assertion list
abstraction (primary) → HasA
Results from Ascent++: 1
abstraction → HasA → cost 0.41