MAYBE
Time: 0.004400
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}
  UR:
   {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}
       Fail