Assertion list
priority queue (subgroup of queue ) → ReceivesAction
Results from Ascent++: 2
priority queue → ReceivesAction → ordered 0.25
priority queue → ReceivesAction → serviced 0.25