graph-rewriting-lambdascope-0.5.3: examples/wadsworth-thesis-p172.l

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