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