graph-rewriting-ww-0.3.3: examples/test2.l

λx. λy. let Z = λz. n1 x (n2 z) in Z (n3 y) Z