YES
TRS:
 {   g(x, y) -> h(x, y),
  h(f(x), y) -> f(g(x, y))}
 DP:
  Strict:
   {   g#(x, y) -> h#(x, y),
    h#(f(x), y) -> g#(x, y)}
  Weak:
  {   g(x, y) -> h(x, y),
   h(f(x), y) -> f(g(x, y))}
  EDG:
   {(h#(f(x), y) -> g#(x, y), g#(x, y) -> h#(x, y))
    (g#(x, y) -> h#(x, y), h#(f(x), y) -> g#(x, y))}
   SCCS:
    Scc:
     {   g#(x, y) -> h#(x, y),
      h#(f(x), y) -> g#(x, y)}
    SCC:
     Strict:
      {   g#(x, y) -> h#(x, y),
       h#(f(x), y) -> g#(x, y)}
     Weak:
     {   g(x, y) -> h(x, y),
      h(f(x), y) -> f(g(x, y))}
     SPSC:
      Simple Projection:
       pi(h#) = 0, pi(g#) = 0
      Strict:
       {g#(x, y) -> h#(x, y)}
      EDG:
       {}
       SCCS:
        
        Qed