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