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

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