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