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