NO

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

Proof:
 Containment Processor: loop length: 1
                        terms:
                         G(x)
                        context: F(x,[])
                        substitution:
                         x -> x
  Qed