Assertion list for term "dequeued".
Results from Ascent++: 2
element (aspect of queue) → ReceivesAction → dequeued 0.60
message → ReceivesAction → dequeued 0.54