graph-rewriting-ww-0.3.5: examples/not-ll-expr-1.l

let f = \x.\y. f y x in f a b c d e g