Assertion list
default (primary) → IsA
Results from Ascent++: 1
default → IsA → failure 0.47