NO

Problem:
 a() -> f(a(),b())
 f(a(),b()) -> f(b(),a())

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