YES
TRS:
 {   f(x, y) -> x,
  h(x, x, y) -> g(x),
      g(a()) -> h(a(), b(), a()),
        i(x) -> f(x, x)}
 DP:
  Strict:
   {h#(x, x, y) -> g#(x),
        g#(a()) -> h#(a(), b(), a()),
          i#(x) -> f#(x, x)}
  Weak:
  {   f(x, y) -> x,
   h(x, x, y) -> g(x),
       g(a()) -> h(a(), b(), a()),
         i(x) -> f(x, x)}
  EDG:
   {(h#(x, x, y) -> g#(x), g#(a()) -> h#(a(), b(), a()))}
   SCCS:
    
    Qed