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