YES
Time: 0.000895
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:
   {}
   STATUS:
    arrows: 1.000000
    SCCS (0):