es65


--------------
|   x --> 34 |  <--------------------------
 --------------                            |
   ^     ^                                 |
   |     | n                        ---------------
   |  ----------------------        |   y --> 34  |
   |  | pippo --> <\y.y,n> |        ---------------
   |  ----------------------
   |
 -------------------
 | x --> <\y.y>,n> |
 -------------------
           ^
           | n'