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