NO

Problem:
 I(x) -> I(B(x))
 F(E(x),x) -> G(x)
 E(x) -> x

Proof:
 Containment Processor: loop length: 1
                        terms:
                         I(x)
                        context: []
                        substitution:
                         x -> B(x)
  Qed