es14

N.B. n1 ed n3 sono nomi di puntatori, quindi non e' strano che
i puntatori di nome n1 ed n3 puntiono allo stesso frame. Questo
significa semplicemente che sono puntatori di nome diverso, ma
con lo stesso "valore".


               zeta0,n |- e0 -> op, zeta1
               { zetai,n |- ei -> 3,zetai+1 }(i=1,..,m)
            -----------------------------------------------
                  zeta0,n |- (e0 e1 ... em) -> 0, zetam+1



   ------------------------------------------------------
   | f --> <n1, (lambda (y) ((lambda (x) x) (g 1)))>    |
   | g --> <n1,(lambda (x) (lambda (x) x))>             |
   ------------------------------------------------------
    ^         ^
 n3 |         | n1
 ------       |
|x-->1|   -----------    n2   ------------------------------
 -----   | y --> 4   | <-----| x --> < n4,(lambda (x) x)>  |
   ^      -----------         ------------------------------
   | n4           ^
-----------       |
| w --> 3 |       |
| z --> 8 |    -----------    n6
-----------    | w --> 3 | <-----
     ^         -----------
     |
     | n5