MAYBE
TRS:
 {       f(n__g(X)) -> g(activate(X)),
                c() -> f(n__g(n__c())),
                c() -> n__c(),
               g(X) -> n__g(X),
        activate(X) -> X,
  activate(n__g(X)) -> g(X),
   activate(n__c()) -> c()}
 DP:
  Strict:
   {       f#(n__g(X)) -> g#(activate(X)),
           f#(n__g(X)) -> activate#(X),
                  c#() -> f#(n__g(n__c())),
    activate#(n__g(X)) -> g#(X),
     activate#(n__c()) -> c#()}
  Weak:
  {       f(n__g(X)) -> g(activate(X)),
                 c() -> f(n__g(n__c())),
                 c() -> n__c(),
                g(X) -> n__g(X),
         activate(X) -> X,
   activate(n__g(X)) -> g(X),
    activate(n__c()) -> c()}
  EDG:
   {(activate#(n__c()) -> c#(), c#() -> f#(n__g(n__c())))
    (c#() -> f#(n__g(n__c())), f#(n__g(X)) -> g#(activate(X)))
    (c#() -> f#(n__g(n__c())), f#(n__g(X)) -> activate#(X))
    (f#(n__g(X)) -> activate#(X), activate#(n__g(X)) -> g#(X))
    (f#(n__g(X)) -> activate#(X), activate#(n__c()) -> c#())}
   SCCS:
    Scc:
     {      f#(n__g(X)) -> activate#(X),
                   c#() -> f#(n__g(n__c())),
      activate#(n__c()) -> c#()}
    SCC:
     Strict:
      {      f#(n__g(X)) -> activate#(X),
                    c#() -> f#(n__g(n__c())),
       activate#(n__c()) -> c#()}
     Weak:
     {       f(n__g(X)) -> g(activate(X)),
                    c() -> f(n__g(n__c())),
                    c() -> n__c(),
                   g(X) -> n__g(X),
            activate(X) -> X,
      activate(n__g(X)) -> g(X),
       activate(n__c()) -> c()}
     Fail