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