(VAR) (RULES c0 -> c1 c0 -> g0(c0) c1 -> g0(g0(c1)) g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(g0(c1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) -> c1 )