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