MAYBE
Time: 0.006454
TRS:
 {            f X -> g n__h f X,
              h X -> n__h X,
       activate X -> X,
  activate n__h X -> h X}
 DP:
  DP:
   {            f# X -> f# X,
    activate# n__h X -> h# X}
  TRS:
  {            f X -> g n__h f X,
               h X -> n__h X,
        activate X -> X,
   activate n__h X -> h X}
  UR:
   {}
   EDG:
    {(f# X -> f# X, f# X -> f# X)}
    STATUS:
     arrows: 0.750000
     SCCS (1):
      Scc:
       {f# X -> f# X}
      
      
      SCC (1):
       Strict:
        {f# X -> f# X}
       Weak:
       {            f X -> g n__h f X,
                    h X -> n__h X,
             activate X -> X,
        activate n__h X -> h X}
       Open