NO

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

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