Assertion list
global interrupt (subgroup of interrupt ) → ReceivesAction
Results from Ascent++: 1
global interrupt → ReceivesAction → enabled 0.68