[X]

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

