MAYBE
MAYBE
TRS:
 {
                 max(L(x)) -> x,
     max(N(L(x), N(y, z))) -> max(N(L(x), L(max(N(y, z))))),
      max(N(L(0()), L(y))) -> y,
  max(N(L(s(x)), L(s(y)))) -> s(max(N(L(x), L(y))))
 }
 DUP: We consider a non-duplicating system.
  Trs:
   {
                   max(L(x)) -> x,
       max(N(L(x), N(y, z))) -> max(N(L(x), L(max(N(y, z))))),
        max(N(L(0()), L(y))) -> y,
    max(N(L(s(x)), L(s(y)))) -> s(max(N(L(x), L(y))))
   }
  Fail