graph-rewriting-ww-0.2: examples/asperti_guerrini_p14.l

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