YES
Time: 0.000350
TRS:
 {f f a() -> c()}
 DP:
  DP:
   {}
  TRS:
  {f f a() -> c()}
  Qed