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