Assertion list for term "executed in order".
Results from Ascent++: 2
command → ReceivesAction → executed in order 0.54
migration → ReceivesAction → executed in order 0.25