Assertion list
interrupt (primary) → HasA
Results from Ascent++: 1
interrupt → HasA → priority 0.39