(VAR X Y) (RULES f(s(X)) -> f(X) g(cons(0,Y)) -> g(Y) g(cons(s(X),Y)) -> s(X) h(cons(X,Y)) -> h(g(cons(X,Y))) )