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