(VAR X )
(RULES 
        f(s(X), X) -> f(X, a(X))
        f(X, c(X)) -> f(s(X), X)
        f(X, X) -> c(X)
        
)