(VAR X)
(RULES

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

)