graph-rewriting-ww-0.3.5: examples/running_ineff.l

\x. \f. let  r = f (f r x) x  in  r