maxsharing-1.0.2: examples/asperti_guerrini_3011_simpl.l

λa b c d. let s = λa b c. let t = λx. a in (t c) (t b)
in s (λe. c (λf.e f) a b) (s d)