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