visual-graphrewrite-0.3: sample/Test0.hs

f a 0 = a
f a b = g b
g a = a

result a = f 2 (f 2 3)