graph-rewriting-lambdascope-0.5.7: examples/not-ll-expr-1.l

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