Minden programozási nyelvben a függvények törzsébe lehet csak írni utasításokat?

Értelmetlen a kérdésed. Ha lenne olyan része a függvénynek, ahová nem kerülhetne semmi, akkor az a függvényrész értelmetlen, és felesleges lenne.

Másrészt: milyen programozási nyelv melyik verziójában?

Harmadrészt: hogyan definiálod, hogy mi a függvény törzse? Mert míg pl. Pascalban markánsan elkülönülnek a program (és az alprogramok) egyes részei, addig pl. C++-ban szinte bármi állhat bárhol, szintaktikailag nincs elkülöníthető törzse a függvényeknek. Az Assemblyről és Forthról meg inkább ne is beszéljünk. ;)

Jól kérdezett ő, csak ti nem értitek a kérdést.

Bizonyos nyelvekben a főprogram is függvény, más nyelvekben meg nem csak függvények vannak, hanem eljárások, szubrutinok, procedúrák is.

Tehát, a válasz nem, bizonyos programozási nyelvekben a függvények trzsén kívül is lehetnek utasítások.

Amúgy, a változó deklaráció nem minősül utasításnak. Azt csak a fordító tekinti annak, végre is hajtja, de a kódba nem kerül utasítás, csak egy memóriacím. A végrehajtható /bináris/ programokban már nincsenek változónevek.

Nem hát.

A változók deklarációja mindig csak memóriafoglalás, egy cím és egy hossz, a változó tipusától függően.

A változó neve megszűnik a feldolgozás során és az adott, vagy inkább kapott memóriacím tölti be később, a futás során a hivatkozás szerepét.