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