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