es62




-----------------------------------------
| x -> 1                                |
| F -> <(lambda (x y) (ecc. ecc.), p1>  |
----------------------------------------
             ^
             | p1
             |
      -----------------
      | x -> 1        |
      | y -> 3        |
      ----------------
         ^
         | p2
         |
 ----------------
 | x -> 3       | <-------------
 | y -> 1       |              |
 ---------------          ---------
       ^                 | z -> 1 |
       |p3               ---------
       |
   ---------------------------------
   | x -> 4                        |
   | f -> <(lambda (z) (ecc.), p3> |
   | y -> 1                        |
   ---------------------------------