Assertion list for term "prepended in the order".
Results from Ascent++: 1
element (aspect of queue) → ReceivesAction → prepended in the order 0.25