YES
TRS:
 {              h(x, c(y, z)) -> h(c(s(y), x), z),
  h(c(s(x), c(s(0()), y)), z) -> h(y, c(s(0()), c(x, z)))}
 DP:
  Strict:
   {              h#(x, c(y, z)) -> h#(c(s(y), x), z),
    h#(c(s(x), c(s(0()), y)), z) -> h#(y, c(s(0()), c(x, z)))}
  Weak:
  {              h(x, c(y, z)) -> h(c(s(y), x), z),
   h(c(s(x), c(s(0()), y)), z) -> h(y, c(s(0()), c(x, z)))}
  EDG:
   {(h#(x, c(y, z)) -> h#(c(s(y), x), z), h#(c(s(x), c(s(0()), y)), z) -> h#(y, c(s(0()), c(x, z))))
    (h#(x, c(y, z)) -> h#(c(s(y), x), z), h#(x, c(y, z)) -> h#(c(s(y), x), z))
    (h#(c(s(x), c(s(0()), y)), z) -> h#(y, c(s(0()), c(x, z))), h#(x, c(y, z)) -> h#(c(s(y), x), z))
    (h#(c(s(x), c(s(0()), y)), z) -> h#(y, c(s(0()), c(x, z))), h#(c(s(x), c(s(0()), y)), z) -> h#(y, c(s(0()), c(x, z))))}
   SCCS:
    Scc:
     {              h#(x, c(y, z)) -> h#(c(s(y), x), z),
      h#(c(s(x), c(s(0()), y)), z) -> h#(y, c(s(0()), c(x, z)))}
    SCC:
     Strict:
      {              h#(x, c(y, z)) -> h#(c(s(y), x), z),
       h#(c(s(x), c(s(0()), y)), z) -> h#(y, c(s(0()), c(x, z)))}
     Weak:
     {              h(x, c(y, z)) -> h(c(s(y), x), z),
      h(c(s(x), c(s(0()), y)), z) -> h(y, c(s(0()), c(x, z)))}
     BOUND:
      Bound: match(-raise)-bounded by 1
      Automaton:
       {      a_0() -> 2*
              0_0() -> 3*
             s_1(4) -> 18*
             s_1(2) -> 15*
             s_0(4) -> 12*
             s_0(3) -> 4*
             s_0(2) -> 8*
        c_1(18, 19) -> 19*
        c_1(18, 17) -> 19*
        c_1(18, 16) -> 19*
        c_1(18, 14) -> 19*
        c_1(18, 13) -> 19*
         c_1(18, 9) -> 19*
         c_1(18, 2) -> 19*
        c_1(15, 19) -> 17*
        c_1(15, 17) -> 19*
        c_1(15, 16) -> 19*
        c_1(15, 14) -> 17*
        c_1(15, 13) -> 17*
         c_1(15, 9) -> 16*
         c_1(15, 2) -> 16*
        c_0(12, 14) -> 13*
        c_0(12, 13) -> 13*
         c_0(12, 9) -> 13*
         c_0(12, 2) -> 13*
         c_0(8, 14) -> 14*
         c_0(8, 13) -> 14*
          c_0(8, 9) -> 9*
          c_0(8, 2) -> 9*
          c_0(4, 6) -> 6*
          c_0(4, 5) -> 6*
          c_0(2, 6) -> 6*
          c_0(2, 2) -> 5*
        h#_1(19, 6) -> 10*
        h#_1(19, 5) -> 10*
        h#_1(17, 6) -> 10*
        h#_1(17, 2) -> 10*
        h#_1(16, 6) -> 10*
        h#_0(14, 6) -> 10*
        h#_0(14, 2) -> 10*
        h#_0(13, 6) -> 10*
        h#_0(13, 5) -> 10*
         h#_0(9, 6) -> 10*
         h#_0(9, 2) -> 11*
         h#_0(2, 6) -> 10*
         h_1(19, 6) -> 1*
         h_1(19, 5) -> 1*
         h_1(17, 6) -> 1*
         h_1(17, 2) -> 1*
         h_1(16, 6) -> 1*
         h_0(14, 6) -> 1*
         h_0(14, 2) -> 1*
         h_0(13, 6) -> 1*
         h_0(13, 5) -> 1*
          h_0(9, 6) -> 1*
          h_0(9, 2) -> 7*
          h_0(2, 6) -> 1*
                 10 -> 11*
                  1 -> 7*}
      Strict:
       {}
      Qed