Input TRS:
    1: f(s(X),Y) -> h(s(f(h(Y),X)))
Number of Rules: 1
Direct POLO(Sum) ...Direct QLPOS ...Direct QKBOS ... failed.