MAYBE
MAYBE
TRS:
 {cons(x, cons(y, z)) -> big(),
               inf(x) -> cons(x, inf(s(x)))}
 DUP: We consider a duplicating system.
  Trs:
   {cons(x, cons(y, z)) -> big(),
                 inf(x) -> cons(x, inf(s(x)))}
  Fail