NO

Problem:
 c() -> a()
 f(f(c())) -> c()
 f(c()) -> a()

Proof:
 Nonconfluence Processor:
  terms: f(a()) *<- f(c()) ->* a()
  Qed