Input TRS:
    1: a(f(),0()) -> a(s(),0())
    2: a(d(),0()) -> 0()
    3: a(d(),a(s(),x)) -> a(s(),a(s(),a(d(),a(p(),a(s(),x)))))
    4: a(f(),a(s(),x)) -> a(d(),a(f(),a(p(),a(s(),x))))
    5: a(p(),a(s(),x)) -> x
Number of Rules: 5
Direct QWPOS(mSum) ... failed.