MAYBE
MAYBE
TRS:
 {
             1() -> s(0()),
        fac(0()) -> 1(),
        fac(0()) -> s(0()),
       fac(s(x)) -> *(s(x), fac(x)),
       *(x, 0()) -> 0(),
      *(x, s(y)) -> +(*(x, y), x),
   floop(0(), y) -> y,
  floop(s(x), y) -> floop(x, *(s(x), y)),
       +(x, 0()) -> x,
      +(x, s(y)) -> s(+(x, y))
 }
 DUP: We consider a duplicating system.
  Trs:
   {
               1() -> s(0()),
          fac(0()) -> 1(),
          fac(0()) -> s(0()),
         fac(s(x)) -> *(s(x), fac(x)),
         *(x, 0()) -> 0(),
        *(x, s(y)) -> +(*(x, y), x),
     floop(0(), y) -> y,
    floop(s(x), y) -> floop(x, *(s(x), y)),
         +(x, 0()) -> x,
        +(x, s(y)) -> s(+(x, y))
   }
  Fail