NO

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

Proof:
 Containment Processor: loop length: 1
                        terms:
                         g(a())
                        context: f([])
                        substitution:
                         
  Qed