Assertion list
current exception (subgroup of exception ) → IsA
Results from Ascent++: 1
current exception → IsA → interrupt 0.25