MAYBE
Time: 0.000933
TRS:
 {f(X, Y, g(X, Y)) -> h(0(), g(X, Y)),
           h(X, Z) -> f(X, s X, Z),
         g(X, s Y) -> g(X, Y),
         g(0(), Y) -> 0()}
 DP:
  DP:
   {f#(X, Y, g(X, Y)) -> h#(0(), g(X, Y)),
             h#(X, Z) -> f#(X, s X, Z),
           g#(X, s Y) -> g#(X, Y)}
  TRS:
  {f(X, Y, g(X, Y)) -> h(0(), g(X, Y)),
            h(X, Z) -> f(X, s X, Z),
          g(X, s Y) -> g(X, Y),
          g(0(), Y) -> 0()}
  UR:
   {g(X, s Y) -> g(X, Y),
    g(0(), Y) -> 0(),
      a(x, y) -> x,
      a(x, y) -> y}
   EDG:
    {(h#(X, Z) -> f#(X, s X, Z), f#(X, Y, g(X, Y)) -> h#(0(), g(X, Y)))
     (g#(X, s Y) -> g#(X, Y), g#(X, s Y) -> g#(X, Y))
     (f#(X, Y, g(X, Y)) -> h#(0(), g(X, Y)), h#(X, Z) -> f#(X, s X, Z))}
    STATUS:
     arrows: 0.666667
     SCCS (2):
      Scc:
       {g#(X, s Y) -> g#(X, Y)}
      Scc:
       {f#(X, Y, g(X, Y)) -> h#(0(), g(X, Y)),
                 h#(X, Z) -> f#(X, s X, Z)}
      
      SCC (1):
       Strict:
        {g#(X, s Y) -> g#(X, Y)}
       Weak:
       {f(X, Y, g(X, Y)) -> h(0(), g(X, Y)),
                 h(X, Z) -> f(X, s X, Z),
               g(X, s Y) -> g(X, Y),
               g(0(), Y) -> 0()}
       Open
      SCC (2):
       Strict:
        {f#(X, Y, g(X, Y)) -> h#(0(), g(X, Y)),
                  h#(X, Z) -> f#(X, s X, Z)}
       Weak:
       {f(X, Y, g(X, Y)) -> h(0(), g(X, Y)),
                 h(X, Z) -> f(X, s X, Z),
               g(X, s Y) -> g(X, Y),
               g(0(), Y) -> 0()}
       Open