(VAR x y )
(RULES 
        g(tt,x) -> g(f(x,x),s(x))
        f(0,y) -> tt
        f(s(x),y) -> f(x,s(y))
        
)