Assertion list for term "pushed in reverse order".
Results from Ascent++: 2
argument (aspect of function) → ReceivesAction → pushed in reverse order 0.25
parameter (aspect of function) → ReceivesAction → pushed in reverse order 0.25