MAYBE
Time: 0.000935
TRS:
 {      g(x, s y) -> g(f(x, y), 0()),
  g(0(), f(x, x)) -> x,
  g(f(x, y), 0()) -> f(g(x, 0()), g(y, 0())),
        g(s x, y) -> g(f(x, y), 0())}
 DP:
  DP:
   {      g#(x, s y) -> g#(f(x, y), 0()),
    g#(f(x, y), 0()) -> g#(x, 0()),
    g#(f(x, y), 0()) -> g#(y, 0()),
          g#(s x, y) -> g#(f(x, y), 0())}
  TRS:
  {      g(x, s y) -> g(f(x, y), 0()),
   g(0(), f(x, x)) -> x,
   g(f(x, y), 0()) -> f(g(x, 0()), g(y, 0())),
         g(s x, y) -> g(f(x, y), 0())}
  EDG:
   {(g#(f(x, y), 0()) -> g#(x, 0()), g#(s x, y) -> g#(f(x, y), 0()))
    (g#(f(x, y), 0()) -> g#(x, 0()), g#(f(x, y), 0()) -> g#(y, 0()))
    (g#(f(x, y), 0()) -> g#(x, 0()), g#(f(x, y), 0()) -> g#(x, 0()))
    (g#(s x, y) -> g#(f(x, y), 0()), g#(f(x, y), 0()) -> g#(y, 0()))
    (g#(s x, y) -> g#(f(x, y), 0()), g#(f(x, y), 0()) -> g#(x, 0()))
    (g#(f(x, y), 0()) -> g#(y, 0()), g#(f(x, y), 0()) -> g#(x, 0()))
    (g#(f(x, y), 0()) -> g#(y, 0()), g#(f(x, y), 0()) -> g#(y, 0()))
    (g#(f(x, y), 0()) -> g#(y, 0()), g#(s x, y) -> g#(f(x, y), 0()))
    (g#(x, s y) -> g#(f(x, y), 0()), g#(f(x, y), 0()) -> g#(x, 0()))
    (g#(x, s y) -> g#(f(x, y), 0()), g#(f(x, y), 0()) -> g#(y, 0()))}
   STATUS:
    arrows: 0.375000
    SCCS (1):
     Scc:
      {g#(f(x, y), 0()) -> g#(x, 0()),
       g#(f(x, y), 0()) -> g#(y, 0()),
             g#(s x, y) -> g#(f(x, y), 0())}
     
     
     SCC (3):
      Strict:
       {g#(f(x, y), 0()) -> g#(x, 0()),
        g#(f(x, y), 0()) -> g#(y, 0()),
              g#(s x, y) -> g#(f(x, y), 0())}
      Weak:
      {      g(x, s y) -> g(f(x, y), 0()),
       g(0(), f(x, x)) -> x,
       g(f(x, y), 0()) -> f(g(x, 0()), g(y, 0())),
             g(s x, y) -> g(f(x, y), 0())}
      Open