MAYBE
MAYBE
TRS:
 {
       rev(nil()) -> nil(),
      rev(rev(x)) -> x,
    rev(++(x, y)) -> ++(rev(y), rev(x)),
     ++(x, nil()) -> x,
  ++(x, ++(y, z)) -> ++(++(x, y), z),
     ++(nil(), y) -> y,
   ++(.(x, y), z) -> .(x, ++(y, z)),
          make(x) -> .(x, nil())
 }
 DUP: We consider a non-duplicating system.
  Trs:
   {
         rev(nil()) -> nil(),
        rev(rev(x)) -> x,
      rev(++(x, y)) -> ++(rev(y), rev(x)),
       ++(x, nil()) -> x,
    ++(x, ++(y, z)) -> ++(++(x, y), z),
       ++(nil(), y) -> y,
     ++(.(x, y), z) -> .(x, ++(y, z)),
            make(x) -> .(x, nil())
   }
  Fail