Nem tudom, mire gondolsz. Csak arra tudok gondolni, hogy úgy érted, hogy van olyan optimalizáció (vagyis inkább az optimalizáció teljes hiánya), amikor minden olyan ponton, ami egy kifejezés végének felel meg a forráskódban, visszaáll egy biztos értékre. Ha teljesen precízen akarod, akkor valóban úgy kellett volna írnom, hogy a kifejezés végén nem kell visszaállnia, de visszaállhat. Viszont a lényeg továbbra is az, hogy a függvény végén van az a pont, amikor vissza kell állnia.
De amúgy van ennek jelentősége? Ha jól definiált működésű program struktúrákban gondolkozol, akkor ezek a részletek pont hogy nem számítanak. Csak arra próbálunk többen is rávilágítani, hogy a törékeny megoldás sok ponton törhet el. Egyszerűbb az a program struktúra, ahol nem számít, hogy pontosan mi történik.