graph-rewriting-lambdascope-0.5.3: examples/asperti_guerrini_p14.l

(λx. x (λi. i)) λy. (λd. d d) (y z)