MAYBE
Time: 0.000804
TRS:
 {f g X -> f X}
 DP:
  DP:
   {f# g X -> f# X}
  TRS:
  {f g X -> f X}
  UR:
   {}
   EDG:
    {(f# g X -> f# X, f# g X -> f# X)}
    STATUS:
     arrows: 0.000000
     SCCS (1):
      Scc:
       {f# g X -> f# X}
      
      SCC (1):
       Strict:
        {f# g X -> f# X}
       Weak:
       {f g X -> f X}
       Open