YES
Time: 0.000938
TRS:
 { sum 0() -> 0(),
   sum s x -> +(sum x, s x),
  sum1 0() -> 0(),
  sum1 s x -> s +(sum1 x, +(x, x))}
 DP:
  DP:
   { sum# s x -> sum# x,
    sum1# s x -> sum1# x}
  TRS:
  { sum 0() -> 0(),
    sum s x -> +(sum x, s x),
   sum1 0() -> 0(),
   sum1 s x -> s +(sum1 x, +(x, x))}
  UR:
   {}
   EDG:
    {(sum1# s x -> sum1# x, sum1# s x -> sum1# x)
     (sum# s x -> sum# x, sum# s x -> sum# x)}
    EDG:
     {(sum1# s x -> sum1# x, sum1# s x -> sum1# x)
      (sum# s x -> sum# x, sum# s x -> sum# x)}
     EDG:
      {}
      EDG:
       {}
       STATUS:
        arrows: 1.000000
        SCCS (0):