es54

       ^
       | pTop
  ---------------
  |             |<--------------------------------------
  ---------------                                      |
           ^                                   -----------
	   |p1                                 | x --> 2 |<-- p3
      -----------------------------------      -----------
      | f --> <p1,(lambda (x) (+ x 1))> |
      -----------------------------------
                     ^
		     |p2
               ------------
	       |  y --> 3 |<-- p4
	       ------------

Si valuta tutta l'espressione let in p1.
Questo porta a valutare (lambda (x) (+ x 1)) in p1 
(che ha <p1,(lambda (x) (+ x 1))> come valore) e quindi a creare il frame puntato da p2.
In p2 si valuta il corpo del let ((lambda (y) y) (f 2)).
Si valuta prima (lambda (y) y), il cui valore e' <p2,(lambda (y) y)>, poi si valuta
(f 2) la cui valutazione provoca la creazione del frame puntato da p3, restituendo 3.
A questo punto, si estende il frame puntato da p2 con quello puntato da p4 ed in questo
si valuta il corpo di (lambda (y) y), cioe' y, restituendo 3 come valore 
dell'espressione let.