MAYBE
Time: 0.000538
TRS:
 {f s x -> s s f p s x,
  f 0() -> 0(),
  p s x -> x}
 DP:
  DP:
   {f# s x -> f# p s x,
    f# s x -> p# s x}
  TRS:
  {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)}
   STATUS:
    arrows: 0.500000
    SCCS (1):
     Scc:
      {f# s x -> f# p s x}
     
     SCC (1):
      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}
      Open