YES

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

Proof:
 DP Processor:
  DPs:
   
  TRS:
   f(f(a())) -> c()
  Qed