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