NO

Problem:
 f(x) -> g(h(x),x)
 g(x,x) -> a()
 b() -> h(b())

Proof:
 Containment Processor: loop length: 1
                        terms:
                         b()
                        context: h([])
                        substitution:
                         
  Qed