Input TRS:
    1: f(f(x)) -> f(x)
    2: g(0()) -> g(f(0()))
Number of Rules: 2
Direct QWPOS(mPol) ... failed.