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