MAYBE
Time: 0.001238
TRS:
 {            f X -> n__f X,
          f f a() -> c n__f n__g n__f n__a(),
              a() -> n__a(),
              g X -> n__g X,
       activate X -> X,
  activate n__f X -> f activate X,
  activate n__g X -> g activate X,
  activate n__a() -> a()}
 DP:
  DP:
   {activate# n__f X -> f# activate X,
    activate# n__f X -> activate# X,
    activate# n__g X -> g# activate X,
    activate# n__g X -> activate# X,
    activate# n__a() -> a#()}
  TRS:
  {            f X -> n__f X,
           f f a() -> c n__f n__g n__f n__a(),
               a() -> n__a(),
               g X -> n__g X,
        activate X -> X,
   activate n__f X -> f activate X,
   activate n__g X -> g activate X,
   activate n__a() -> a()}
  UR:
   {            f X -> n__f X,
            f f a() -> c n__f n__g n__f n__a(),
                a() -> n__a(),
                g X -> n__g X,
         activate X -> X,
    activate n__f X -> f activate X,
    activate n__g X -> g activate X,
    activate n__a() -> a()}
   EDG:
    {(activate# n__f X -> activate# X, activate# n__a() -> a#())
     (activate# n__f X -> activate# X, activate# n__g X -> activate# X)
     (activate# n__f X -> activate# X, activate# n__g X -> g# activate X)
     (activate# n__f X -> activate# X, activate# n__f X -> activate# X)
     (activate# n__f X -> activate# X, activate# n__f X -> f# activate X)
     (activate# n__g X -> activate# X, activate# n__f X -> f# activate X)
     (activate# n__g X -> activate# X, activate# n__f X -> activate# X)
     (activate# n__g X -> activate# X, activate# n__g X -> g# activate X)
     (activate# n__g X -> activate# X, activate# n__g X -> activate# X)
     (activate# n__g X -> activate# X, activate# n__a() -> a#())}
    STATUS:
     arrows: 0.600000
     SCCS (1):
      Scc:
       {activate# n__f X -> activate# X,
        activate# n__g X -> activate# X}
      
      SCC (2):
       Strict:
        {activate# n__f X -> activate# X,
         activate# n__g X -> activate# X}
       Weak:
       {            f X -> n__f X,
                f f a() -> c n__f n__g n__f n__a(),
                    a() -> n__a(),
                    g X -> n__g X,
             activate X -> X,
        activate n__f X -> f activate X,
        activate n__g X -> g activate X,
        activate n__a() -> a()}
       Open