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