YES
Time: 0.011620
TRS:
 {f f x -> g f x}
 DP:
  DP:
   {}
  TRS:
  {f f x -> g f x}
  Qed