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