YES
Trs:
 {          g(h2(x, y, h1(z, u))) -> h2(s(x), y, h1(z, u)),
                    f(j(x, y), y) -> g(f(x, k(y))),
                   f(x, h1(y, z)) -> h2(0(), x, h1(y, z)),
  h2(x, j(y, h1(z, u)), h1(z, u)) -> h2(s(x), y, h1(s(z), u)),
                    i(f(x, h(y))) -> y,
         i(h2(s(x), y, h1(x, z))) -> z,
                          k(h(x)) -> h1(0(), x),
                      k(h1(x, y)) -> h1(s(x), y)}
 Comment:
  We consider a non-duplicating trs.
  BOUND:
   Automaton:
    {           g_1(q14) -> q0,
                g_1(q13) -> q0,
                 g_1(q0) -> q0,
                g_0(q14) -> q0,
                g_0(q13) -> q0,
                 g_0(q2) -> q0,
                 g_0(q1) -> q0,
                 g_0(q0) -> q0,
           j_0(q14, q14) -> q14 | q2 | q0,
           j_0(q14, q13) -> q14 | q2 | q0,
            j_0(q14, q2) -> q14 | q2 | q0,
            j_0(q14, q1) -> q14 | q2 | q0,
            j_0(q14, q0) -> q14 | q2 | q0,
           j_0(q13, q14) -> q14 | q2 | q0,
           j_0(q13, q13) -> q14 | q2 | q0,
            j_0(q13, q2) -> q14 | q2 | q0,
            j_0(q13, q1) -> q14 | q2 | q0,
            j_0(q13, q0) -> q14 | q2 | q0,
            j_0(q2, q14) -> q14 | q2 | q0,
            j_0(q2, q13) -> q14 | q2 | q0,
             j_0(q2, q2) -> q14 | q2 | q0,
             j_0(q2, q1) -> q14 | q2 | q0,
             j_0(q2, q0) -> q14 | q2 | q0,
            j_0(q1, q14) -> q14 | q2 | q0,
            j_0(q1, q13) -> q14 | q2 | q0,
             j_0(q1, q2) -> q14 | q2 | q0,
             j_0(q1, q1) -> q14 | q2 | q0,
             j_0(q1, q0) -> q14 | q2 | q0,
            j_0(q0, q14) -> q14 | q2 | q0,
            j_0(q0, q13) -> q14 | q2 | q0,
             j_0(q0, q2) -> q14 | q2 | q0,
             j_0(q0, q1) -> q14 | q2 | q0,
             j_0(q0, q0) -> q14 | q2 | q0,
           f_1(q14, q14) -> q0,
           f_1(q14, q13) -> q0,
            f_1(q14, q0) -> q0,
           f_1(q13, q14) -> q0,
           f_1(q13, q13) -> q0,
            f_1(q13, q0) -> q0,
            f_1(q0, q14) -> q0,
            f_1(q0, q13) -> q0,
             f_1(q0, q0) -> q0,
           f_0(q14, q14) -> q0,
           f_0(q14, q13) -> q0,
            f_0(q14, q2) -> q0,
            f_0(q14, q1) -> q0,
            f_0(q14, q0) -> q0,
           f_0(q13, q14) -> q0,
           f_0(q13, q13) -> q0,
            f_0(q13, q2) -> q0,
            f_0(q13, q1) -> q0,
            f_0(q13, q0) -> q0,
            f_0(q2, q14) -> q0,
            f_0(q2, q13) -> q0,
             f_0(q2, q2) -> q0,
             f_0(q2, q1) -> q0,
             f_0(q2, q0) -> q0,
            f_0(q1, q14) -> q0,
            f_0(q1, q13) -> q0,
             f_0(q1, q2) -> q0,
             f_0(q1, q1) -> q0,
             f_0(q1, q0) -> q0,
            f_0(q0, q14) -> q0,
            f_0(q0, q13) -> q0,
             f_0(q0, q2) -> q0,
             f_0(q0, q1) -> q0,
             f_0(q0, q0) -> q0,
     h2_2(q14, q14, q14) -> q0,
     h2_2(q14, q14, q13) -> q0,
      h2_2(q14, q14, q0) -> q0,
     h2_2(q14, q13, q14) -> q0,
     h2_2(q14, q13, q13) -> q0,
      h2_2(q14, q13, q0) -> q0,
      h2_2(q14, q0, q14) -> q0,
      h2_2(q14, q0, q13) -> q0,
       h2_2(q14, q0, q0) -> q0,
     h2_2(q13, q14, q14) -> q0,
     h2_2(q13, q14, q13) -> q0,
      h2_2(q13, q14, q0) -> q0,
     h2_2(q13, q13, q14) -> q0,
     h2_2(q13, q13, q13) -> q0,
      h2_2(q13, q13, q0) -> q0,
      h2_2(q13, q0, q14) -> q0,
      h2_2(q13, q0, q13) -> q0,
       h2_2(q13, q0, q0) -> q0,
      h2_2(q0, q14, q14) -> q0,
      h2_2(q0, q14, q13) -> q0,
       h2_2(q0, q14, q0) -> q0,
      h2_2(q0, q13, q14) -> q0,
      h2_2(q0, q13, q13) -> q0,
       h2_2(q0, q13, q0) -> q0,
       h2_2(q0, q0, q14) -> q0,
       h2_2(q0, q0, q13) -> q0,
        h2_2(q0, q0, q0) -> q0,
     h2_1(q14, q14, q14) -> q0,
     h2_1(q14, q14, q13) -> q0,
      h2_1(q14, q14, q0) -> q0,
     h2_1(q14, q13, q14) -> q0,
     h2_1(q14, q13, q13) -> q0,
      h2_1(q14, q13, q0) -> q0,
      h2_1(q14, q0, q14) -> q0,
      h2_1(q14, q0, q13) -> q0,
       h2_1(q14, q0, q0) -> q0,
     h2_1(q13, q14, q14) -> q0,
     h2_1(q13, q14, q13) -> q0,
      h2_1(q13, q14, q0) -> q0,
     h2_1(q13, q13, q14) -> q0,
     h2_1(q13, q13, q13) -> q0,
      h2_1(q13, q13, q0) -> q0,
      h2_1(q13, q0, q14) -> q0,
      h2_1(q13, q0, q13) -> q0,
       h2_1(q13, q0, q0) -> q0,
      h2_1(q0, q14, q14) -> q0,
      h2_1(q0, q14, q13) -> q0,
       h2_1(q0, q14, q0) -> q0,
      h2_1(q0, q13, q14) -> q0,
      h2_1(q0, q13, q13) -> q0,
       h2_1(q0, q13, q0) -> q0,
       h2_1(q0, q0, q14) -> q0,
       h2_1(q0, q0, q13) -> q0,
        h2_1(q0, q0, q0) -> q0,
     h2_0(q14, q14, q14) -> q0,
     h2_0(q14, q14, q13) -> q0,
      h2_0(q14, q14, q2) -> q0,
      h2_0(q14, q14, q1) -> q0,
      h2_0(q14, q14, q0) -> q0,
     h2_0(q14, q13, q14) -> q0,
     h2_0(q14, q13, q13) -> q0,
      h2_0(q14, q13, q2) -> q0,
      h2_0(q14, q13, q1) -> q0,
      h2_0(q14, q13, q0) -> q0,
      h2_0(q14, q2, q14) -> q0,
      h2_0(q14, q2, q13) -> q0,
       h2_0(q14, q2, q2) -> q0,
       h2_0(q14, q2, q1) -> q0,
       h2_0(q14, q2, q0) -> q0,
      h2_0(q14, q1, q14) -> q0,
      h2_0(q14, q1, q13) -> q0,
       h2_0(q14, q1, q2) -> q0,
       h2_0(q14, q1, q1) -> q0,
       h2_0(q14, q1, q0) -> q0,
      h2_0(q14, q0, q14) -> q0,
      h2_0(q14, q0, q13) -> q0,
       h2_0(q14, q0, q2) -> q0,
       h2_0(q14, q0, q1) -> q0,
       h2_0(q14, q0, q0) -> q0,
     h2_0(q13, q14, q14) -> q0,
     h2_0(q13, q14, q13) -> q0,
      h2_0(q13, q14, q2) -> q0,
      h2_0(q13, q14, q1) -> q0,
      h2_0(q13, q14, q0) -> q0,
     h2_0(q13, q13, q14) -> q0,
     h2_0(q13, q13, q13) -> q0,
      h2_0(q13, q13, q2) -> q0,
      h2_0(q13, q13, q1) -> q0,
      h2_0(q13, q13, q0) -> q0,
      h2_0(q13, q2, q14) -> q0,
      h2_0(q13, q2, q13) -> q0,
       h2_0(q13, q2, q2) -> q0,
       h2_0(q13, q2, q1) -> q0,
       h2_0(q13, q2, q0) -> q0,
      h2_0(q13, q1, q14) -> q0,
      h2_0(q13, q1, q13) -> q0,
       h2_0(q13, q1, q2) -> q0,
       h2_0(q13, q1, q1) -> q0,
       h2_0(q13, q1, q0) -> q0,
      h2_0(q13, q0, q14) -> q0,
      h2_0(q13, q0, q13) -> q0,
       h2_0(q13, q0, q2) -> q0,
       h2_0(q13, q0, q1) -> q0,
       h2_0(q13, q0, q0) -> q0,
      h2_0(q2, q14, q14) -> q0,
      h2_0(q2, q14, q13) -> q0,
       h2_0(q2, q14, q2) -> q0,
       h2_0(q2, q14, q1) -> q0,
       h2_0(q2, q14, q0) -> q0,
      h2_0(q2, q13, q14) -> q0,
      h2_0(q2, q13, q13) -> q0,
       h2_0(q2, q13, q2) -> q0,
       h2_0(q2, q13, q1) -> q0,
       h2_0(q2, q13, q0) -> q0,
       h2_0(q2, q2, q14) -> q0,
       h2_0(q2, q2, q13) -> q0,
        h2_0(q2, q2, q2) -> q0,
        h2_0(q2, q2, q1) -> q0,
        h2_0(q2, q2, q0) -> q0,
       h2_0(q2, q1, q14) -> q0,
       h2_0(q2, q1, q13) -> q0,
        h2_0(q2, q1, q2) -> q0,
        h2_0(q2, q1, q1) -> q0,
        h2_0(q2, q1, q0) -> q0,
       h2_0(q2, q0, q14) -> q0,
       h2_0(q2, q0, q13) -> q0,
        h2_0(q2, q0, q2) -> q0,
        h2_0(q2, q0, q1) -> q0,
        h2_0(q2, q0, q0) -> q0,
      h2_0(q1, q14, q14) -> q0,
      h2_0(q1, q14, q13) -> q0,
       h2_0(q1, q14, q2) -> q0,
       h2_0(q1, q14, q1) -> q0,
       h2_0(q1, q14, q0) -> q0,
      h2_0(q1, q13, q14) -> q0,
      h2_0(q1, q13, q13) -> q0,
       h2_0(q1, q13, q2) -> q0,
       h2_0(q1, q13, q1) -> q0,
       h2_0(q1, q13, q0) -> q0,
       h2_0(q1, q2, q14) -> q0,
       h2_0(q1, q2, q13) -> q0,
        h2_0(q1, q2, q2) -> q0,
        h2_0(q1, q2, q1) -> q0,
        h2_0(q1, q2, q0) -> q0,
       h2_0(q1, q1, q14) -> q0,
       h2_0(q1, q1, q13) -> q0,
        h2_0(q1, q1, q2) -> q0,
        h2_0(q1, q1, q1) -> q0,
        h2_0(q1, q1, q0) -> q0,
       h2_0(q1, q0, q14) -> q0,
       h2_0(q1, q0, q13) -> q0,
        h2_0(q1, q0, q2) -> q0,
        h2_0(q1, q0, q1) -> q0,
        h2_0(q1, q0, q0) -> q0,
      h2_0(q0, q14, q14) -> q0,
      h2_0(q0, q14, q13) -> q0,
       h2_0(q0, q14, q2) -> q0,
       h2_0(q0, q14, q1) -> q0,
       h2_0(q0, q14, q0) -> q0,
      h2_0(q0, q13, q14) -> q0,
      h2_0(q0, q13, q13) -> q0,
       h2_0(q0, q13, q2) -> q0,
       h2_0(q0, q13, q1) -> q0,
       h2_0(q0, q13, q0) -> q0,
       h2_0(q0, q2, q14) -> q0,
       h2_0(q0, q2, q13) -> q0,
        h2_0(q0, q2, q2) -> q0,
        h2_0(q0, q2, q1) -> q0,
        h2_0(q0, q2, q0) -> q0,
       h2_0(q0, q1, q14) -> q0,
       h2_0(q0, q1, q13) -> q0,
        h2_0(q0, q1, q2) -> q0,
        h2_0(q0, q1, q1) -> q0,
        h2_0(q0, q1, q0) -> q0,
       h2_0(q0, q0, q14) -> q0,
       h2_0(q0, q0, q13) -> q0,
        h2_0(q0, q0, q2) -> q0,
        h2_0(q0, q0, q1) -> q0,
        h2_0(q0, q0, q0) -> q0,
                i_0(q14) -> q0,
                i_0(q13) -> q0,
                 i_0(q2) -> q0,
                 i_0(q1) -> q0,
                 i_0(q0) -> q0,
                h_0(q14) -> q13 | q1 | q0,
                h_0(q13) -> q13 | q1 | q0,
                 h_0(q2) -> q13 | q1 | q0,
                 h_0(q1) -> q13 | q1 | q0,
                 h_0(q0) -> q13 | q1 | q0,
                   0_2() -> q0,
                   0_1() -> q0,
                   0_0() -> q0,
                k_1(q14) -> q0,
                k_1(q13) -> q0,
                 k_1(q0) -> q0,
                k_0(q14) -> q0,
                k_0(q13) -> q0,
                 k_0(q2) -> q0,
                 k_0(q1) -> q0,
                 k_0(q0) -> q0,
                s_2(q14) -> q0,
                s_2(q13) -> q0,
                 s_2(q0) -> q0,
                s_1(q14) -> q0,
                s_1(q13) -> q0,
                 s_1(q0) -> q0,
                s_0(q14) -> q0,
                s_0(q13) -> q0,
                 s_0(q2) -> q0,
                 s_0(q1) -> q0,
                 s_0(q0) -> q0,
          h1_2(q14, q14) -> q0,
          h1_2(q14, q13) -> q0,
           h1_2(q14, q0) -> q0,
          h1_2(q13, q14) -> q0,
          h1_2(q13, q13) -> q0,
           h1_2(q13, q0) -> q0,
           h1_2(q0, q14) -> q0,
           h1_2(q0, q13) -> q0,
            h1_2(q0, q0) -> q0,
          h1_1(q14, q14) -> q0,
          h1_1(q14, q13) -> q0,
           h1_1(q14, q0) -> q0,
          h1_1(q13, q14) -> q0,
          h1_1(q13, q13) -> q0,
           h1_1(q13, q0) -> q0,
           h1_1(q0, q14) -> q0,
           h1_1(q0, q13) -> q0,
            h1_1(q0, q0) -> q0,
          h1_0(q14, q14) -> q0,
          h1_0(q14, q13) -> q0,
           h1_0(q14, q2) -> q0,
           h1_0(q14, q1) -> q0,
           h1_0(q14, q0) -> q0,
          h1_0(q13, q14) -> q0,
          h1_0(q13, q13) -> q0,
           h1_0(q13, q2) -> q0,
           h1_0(q13, q1) -> q0,
           h1_0(q13, q0) -> q0,
           h1_0(q2, q14) -> q0,
           h1_0(q2, q13) -> q0,
            h1_0(q2, q2) -> q0,
            h1_0(q2, q1) -> q0,
            h1_0(q2, q0) -> q0,
           h1_0(q1, q14) -> q0,
           h1_0(q1, q13) -> q0,
            h1_0(q1, q2) -> q0,
            h1_0(q1, q1) -> q0,
            h1_0(q1, q0) -> q0,
           h1_0(q0, q14) -> q0,
           h1_0(q0, q13) -> q0,
            h1_0(q0, q2) -> q0,
            h1_0(q0, q1) -> q0,
            h1_0(q0, q0) -> q0,
                     q14 -> q0,
                     q13 -> q0,
                      q2 -> q0,
                      q1 -> q0}
   Strict:
   {}
   Qed