Assertion list
interrupt (primary) → IsA
Results from Ascent++: 1
interrupt → IsA → signal 0.52