Assertion list
checked exception (subgroup of exception ) → IsA
Results from Ascent++: 1
checked exception → IsA → exception 0.81