MAYBE
MAYBE
TRS:
 {
   g(true(), x, y, z) -> z,
  g(false(), x, y, z) -> f(f(p(x), y, z), f(p(y), z, x), f(p(z), x, y)),
           f(x, y, z) -> g(<=(x, y), x, y, z),
               p(0()) -> 0(),
              p(s(x)) -> x
 }
 DUP: We consider a duplicating system.
  Trs:
   {
     g(true(), x, y, z) -> z,
    g(false(), x, y, z) -> f(f(p(x), y, z), f(p(y), z, x), f(p(z), x, y)),
             f(x, y, z) -> g(<=(x, y), x, y, z),
                 p(0()) -> 0(),
                p(s(x)) -> x
   }
  Fail