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