I don't think the order of operations is non-deterministic between different runs. That would make programming and researching these systems more difficult than necessary.