(VAR x )
(RULES 
        f(x,x) -> f(g(x),x)
        g(x) -> s(x)
        
)