graph-rewriting-ww-0.3.8: examples/vincent-1-ww.l

let G = \g. g (g x)
    F x = F x
    I x = x
in  G (F I)