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