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