Input TRS:
    1: f(s(X),X) -> f(X,a(X))
    2: f(X,c(X)) -> f(s(X),X)
    3: f(X,X) -> c(X)
Number of Rules: 3
Direct QLPOS ... failed.