maxsharing-1.0.2: examples/asperti_guerrini_p14.l

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