YES
Time: 0.001261
TRS:
 {f g X -> f X}
 DP:
  DP:
   {f# g X -> f# X}
  TRS:
  {f g X -> f X}
  EDG:
   {(f# g X -> f# X, f# g X -> f# X)}
   EDG:
    {(f# g X -> f# X, f# g X -> f# X)}
    EDG:
     {}
     EDG:
      {}
      STATUS:
       arrows: 1.000000
       SCCS (0):