Ordering of pushes

[teqdruid]

There is currently no defined order in which tokens being pushed out of events should occur. So the token output order of the following is undefined:
event (*) {
o <- 1; o <- 2; o <- 3;
}

Waits could be inserted to assure program order.