Assertion list
benefit (primary) → IsA
Results from Ascent++: 1
benefit → IsA → better performance 0.26