Ловите следиющий тезис, язык должен стремиться не к тому что бы предоставлять пространство для оптимизаций компилятором, а к тому что бы требовать ровно столько информации сколько нужно для оптимизации
Но при этом не один ебонтяй не подумал о том что если есть сайд эффекты реордерить нельзя а если их нет то и ограничение на вычисление слева на право можно проигнорировать