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