MAYBE
Time: 0.001343
TRS:
 {g(x, h(y, z)) -> h(g(x, y), z),
  g(f(x, y), z) -> f(x, g(y, z)),
  g(h(x, y), z) -> g(x, f(y, z))}
 DP:
  DP:
   {g#(x, h(y, z)) -> g#(x, y),
    g#(f(x, y), z) -> g#(y, z),
    g#(h(x, y), z) -> g#(x, f(y, z))}
  TRS:
  {g(x, h(y, z)) -> h(g(x, y), z),
   g(f(x, y), z) -> f(x, g(y, z)),
   g(h(x, y), z) -> g(x, f(y, z))}
  UR:
   {}
   EDG:
    {(g#(x, h(y, z)) -> g#(x, y), g#(f(x, y), z) -> g#(y, z))
     (g#(f(x, y), z) -> g#(y, z), g#(f(x, y), z) -> g#(y, z))}
    STATUS:
     arrows: 0.777778
     SCCS (1):
      Scc:
       {g#(f(x, y), z) -> g#(y, z)}
      
      
      
      SCC (1):
       Strict:
        {g#(f(x, y), z) -> g#(y, z)}
       Weak:
       {g(x, h(y, z)) -> h(g(x, y), z),
        g(f(x, y), z) -> f(x, g(y, z)),
        g(h(x, y), z) -> g(x, f(y, z))}
       Open