Input TRS:
    1: f(X,g(X)) -> f(1(),g(X))
    2: g(1()) -> g(0())
Number of Rules: 2
Direct QWPOS(max) ... failed.