YES
Time: 0.001168
TRS:
 {g(h x, y) -> h g(x, y),
  g(h x, y) -> h f(x, y),
    f(x, y) -> g(x, y)}
 DP:
  DP:
   {g#(h x, y) -> g#(x, y),
    g#(h x, y) -> f#(x, y),
      f#(x, y) -> g#(x, y)}
  TRS:
  {g(h x, y) -> h g(x, y),
   g(h x, y) -> h f(x, y),
     f(x, y) -> g(x, y)}
  UR:
   {}
   EDG:
    {(g#(h x, y) -> f#(x, y), f#(x, y) -> g#(x, y))}
    STATUS:
     arrows: 0.888889
     SCCS (0):