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