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