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