Input TRS:
    1: f(x,a()) -> x
    2: f(x,g(y)) -> f(g(x),y)
Number of Rules: 2
Direct POLO(mSum) ... failed.