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