Input TRS:
    1: f(x) -> s(x)
    2: f(s(s(x))) -> s(f(f(x)))
Number of Rules: 2
Direct POLO(mPol) ... failed.