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