es46

       ------------------------------------          ------------
       |                                  |    n1    |          |     n2
       | f --> <(lambda (x) (+ 1 y)), n2> | <------- | y --> 1  | <------
       |                                  |          |          |
       ------------------------------------          -------------