MAYBE
Time: 0.007

Problem:
 Equations:
  
 TRS:
  max(L(x)) -> x
  max(NAC(L(0()),L(y))) -> y
  max(NAC(L(s(x)),L(s(y)))) -> s(max(NAC(L(x),L(y))))
  max(NAC(L(x),NAC(y,z))) -> max(NAC(L(x),L(max(NAC(y,z)))))

Proof:
 Open