MAYBE
TRS:
 {             f(X) -> n__f(X),
             f(0()) -> cons(0(), n__f(s(0()))),
          f(s(0())) -> f(p(s(0()))),
            p(s(X)) -> X,
        activate(X) -> X,
  activate(n__f(X)) -> f(X)}
 RUF:
  Strict:
   {     f(X) -> n__f(X),
       f(0()) -> cons(0(), n__f(s(0()))),
    f(s(0())) -> f(p(s(0()))),
      p(s(X)) -> X}
  Weak:
   {}
  DP:
   Strict:
    {f#(s(0())) -> f#(p(s(0()))),
     f#(s(0())) -> p#(s(0()))}
   Weak:
   {     f(X) -> n__f(X),
       f(0()) -> cons(0(), n__f(s(0()))),
    f(s(0())) -> f(p(s(0()))),
      p(s(X)) -> X}
   EDG:
    {(f#(s(0())) -> f#(p(s(0()))), f#(s(0())) -> p#(s(0())))
     (f#(s(0())) -> f#(p(s(0()))), f#(s(0())) -> f#(p(s(0()))))}
    SCCS:
     Scc:
      {f#(s(0())) -> f#(p(s(0())))}
     SCC:
      Strict:
       {f#(s(0())) -> f#(p(s(0())))}
      Weak:
      {     f(X) -> n__f(X),
          f(0()) -> cons(0(), n__f(s(0()))),
       f(s(0())) -> f(p(s(0()))),
         p(s(X)) -> X}
      Fail