Input TRS:
    1: max(L(x)) -> x
    2: max(N(L(0()),L(y))) -> y
    3: max(N(L(s(x)),L(s(y)))) -> s(max(N(L(x),L(y))))
    4: max(N(L(x),N(y,z))) -> max(N(L(x),L(max(N(y,z)))))
Number of Rules: 4
Direct QWPOS(mPol) ... failed.