added some documentation about the deterministic execution order