Тут вы ошибаетесь.
Компилятор вполне может поменять связи местами, особенно, если это не влияет на результат.
Правило a+(b+c)=(a+b)+c в школе проходят. Для целых чисел оно соблюдается.
Поэтому ОЛ запросто могло бы преобразовать a+(b+(c+(d))) к виду ((a+b)+c)+d.
Посмотрите же на картинки хоть раз.
Там все связи явные. То, что замена схемы на такую же сокращает размер стека говорит лишь о том, что в этой области ОЛ недоработано.
Это вы учите мат часть. Не надо называть обратной связью то, что ей не является