Input TRS:
    1: f(c(X,s(Y))) -> f(c(s(X),Y))
    2: g(c(s(X),Y)) -> f(c(X,s(Y)))
Number of Rules: 2
Direct POLO(Sum) ... failed.