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