Assertion list
priority (aspect of interrupt ) → ReceivesAction
Results from Ascent++: 1
priority → ReceivesAction → serviced 0.49