MAYBE
TRS:
 {f(s(a()), s(b()), x) -> f(x, x, x),
   g(f(s(x), s(y), z)) -> g(f(x, y, z)),
            cons(x, y) -> x,
            cons(x, y) -> y}
 DP:
  Strict:
   {f#(s(a()), s(b()), x) -> f#(x, x, x),
     g#(f(s(x), s(y), z)) -> f#(x, y, z),
     g#(f(s(x), s(y), z)) -> g#(f(x, y, z))}
  Weak:
  {f(s(a()), s(b()), x) -> f(x, x, x),
    g(f(s(x), s(y), z)) -> g(f(x, y, z)),
             cons(x, y) -> x,
             cons(x, y) -> y}
  EDG:
   {(g#(f(s(x), s(y), z)) -> f#(x, y, z), f#(s(a()), s(b()), x) -> f#(x, x, x))
    (f#(s(a()), s(b()), x) -> f#(x, x, x), f#(s(a()), s(b()), x) -> f#(x, x, x))
    (g#(f(s(x), s(y), z)) -> g#(f(x, y, z)), g#(f(s(x), s(y), z)) -> f#(x, y, z))
    (g#(f(s(x), s(y), z)) -> g#(f(x, y, z)), g#(f(s(x), s(y), z)) -> g#(f(x, y, z)))}
   SCCS:
    Scc:
     {g#(f(s(x), s(y), z)) -> g#(f(x, y, z))}
    Scc:
     {f#(s(a()), s(b()), x) -> f#(x, x, x)}
    SCC:
     Strict:
      {g#(f(s(x), s(y), z)) -> g#(f(x, y, z))}
     Weak:
     {f(s(a()), s(b()), x) -> f(x, x, x),
       g(f(s(x), s(y), z)) -> g(f(x, y, z)),
                cons(x, y) -> x,
                cons(x, y) -> y}
     Fail
    SCC:
     Strict:
      {f#(s(a()), s(b()), x) -> f#(x, x, x)}
     Weak:
     {f(s(a()), s(b()), x) -> f(x, x, x),
       g(f(s(x), s(y), z)) -> g(f(x, y, z)),
                cons(x, y) -> x,
                cons(x, y) -> y}
     Fail