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