MAYBE
TRS:
 {f(s(x)) -> s(s(f(p(s(x))))),
   f(0()) -> 0(),
  p(s(x)) -> x}
 DP:
  Strict:
   {f#(s(x)) -> f#(p(s(x))),
    f#(s(x)) -> p#(s(x))}
  Weak:
  {f(s(x)) -> s(s(f(p(s(x))))),
    f(0()) -> 0(),
   p(s(x)) -> x}
  EDG:
   {(f#(s(x)) -> f#(p(s(x))), f#(s(x)) -> f#(p(s(x))))
    (f#(s(x)) -> f#(p(s(x))), f#(s(x)) -> p#(s(x)))}
   SCCS:
    Scc:
     {f#(s(x)) -> f#(p(s(x)))}
    SCC:
     Strict:
      {f#(s(x)) -> f#(p(s(x)))}
     Weak:
     {f(s(x)) -> s(s(f(p(s(x))))),
       f(0()) -> 0(),
      p(s(x)) -> x}
     Fail