これは可能性が高いと思ってるわけではなく例えばですが、「今の仕様」が例えば、「リテラルの長い方から先に評価される」や「項を評価する際に使えるCPUが2つあり、左と右でその時空いている方から行なわれる」という仕様だと、状況次第でどれが先かは仕様通り動いても可変になります。 つまり、何らかの仕様で動いてはいるけれど、その仕様が「順番が毎回固定」であることの保証自体もないので、法則があると表現するのがまずいのではと感じた次第です。