Input TRS:
    1: f(c(s(x),y)) -> f(c(x,s(y)))
    2: g(c(x,s(y))) -> g(c(s(x),y))
Number of Rules: 2
Direct QWPOS(max) ... failed.