MAYBE
MAYBE
TRS:
 {      f(x) -> s(x),
  f(s(s(x))) -> s(f(f(x)))}
 DUP: We consider a non-duplicating system.
  Trs:
   {      f(x) -> s(x),
    f(s(s(x))) -> s(f(f(x)))}
  Fail