Assertion list
benchmark (primary) → IsA
Results from Ascent++: 1
benchmark → IsA → standard 0.39