graph-rewriting-ww-0.1: examples/wadsworth-thesis-p172.l

let epsilon = (\f.f(f(f a)))((\x.\y.y x)b)
in  epsilon