Si prenda il linguaggio delle espressioni aritmetiche con variabili,
+, *, if-then-else, parentesi. Associatività e precedenza di +
e * sono le usuali, il ramo "else" dell'espressione condizionale
abbraccia la piú lunga espressione aritmetica che segue, ossia
in if A < B then A + B else B * C +
D l'else abbraccia B * C + D. Si dia lo schema per
l'analisi asendente deterministica che come effetto laterale il codice
a tre indirizzi.