Input TRS:
    1: f(s(X)) -> f(X)
    2: g(cons(0(),Y)) -> g(Y)
    3: g(cons(s(X),Y)) -> s(X)
    4: h(cons(X,Y)) -> h(g(cons(X,Y)))
Number of Rules: 4
Direct QWPOS(Sum) ... failed.