NO

Problem:
 F(x,x) -> A()
 F(x,G(x)) -> B()
 C() -> G(C())

Proof:
 Containment Processor: loop length: 1
                        terms:
                         C()
                        context: G([])
                        substitution:
                         
  Qed