Wir reden hier von 3 verschiedenen Dingen. Du sprichst von left-most, inner-most, was sich auf die Auswertung von Funktionsargumenten bezieht, aber nicht auf die Auswertung von Ausdrücken als solches.
Ich hab schon die Evaluierungsstrategie für Operanden gemeint, aber da hab ich mich wohl trotzdem geirrt und dir Unrecht getan.