YES
Trs:
 {f(g(i(a(), b(), b'()), c()), d()) -> if(e(), f(.(b(), c()), d'()), f(.(b'(), c()), d'())),
        f(g(h(a(), b()), c()), d()) -> if(e(), f(.(b(), g(h(a(), b()), c())), d()), f(c(), d'()))}
 Comment:
  We consider a non-duplicating trs.
  BOUND:
   Automaton:
    {    i_0(q1, q1, q1) -> q1,
         i_0(q1, q1, q0) -> q1,
         i_0(q1, q0, q1) -> q1,
         i_0(q1, q0, q0) -> q1,
         i_0(q0, q1, q1) -> q1,
         i_0(q0, q1, q0) -> q1,
         i_0(q0, q0, q1) -> q1,
         i_0(q0, q0, q0) -> q1,
                  b'_1() -> q17,
                  b'_0() -> q0,
                  d'_1() -> q15,
                  d'_0() -> q0,
                   d_1() -> q26,
                   d_0() -> q0,
                   c_1() -> q13,
                   c_0() -> q0,
                   a_1() -> q22,
                   a_0() -> q0,
           h_1(q22, q12) -> q23,
             h_0(q1, q1) -> q0,
             h_0(q1, q0) -> q0,
             h_0(q0, q1) -> q0,
             h_0(q0, q0) -> q0,
           g_1(q23, q13) -> q24,
             g_0(q1, q1) -> q0,
             g_0(q1, q0) -> q0,
             g_0(q0, q1) -> q0,
             g_0(q0, q0) -> q0,
                   b_1() -> q12,
                   b_0() -> q0,
           ._1(q17, q13) -> q18,
           ._1(q12, q24) -> q25,
           ._1(q12, q13) -> q14,
             ._0(q1, q1) -> q0,
             ._0(q1, q0) -> q0,
             ._0(q0, q1) -> q0,
             ._0(q0, q0) -> q0,
           f_1(q25, q26) -> q27,
           f_1(q18, q15) -> q19,
           f_1(q14, q15) -> q16,
           f_1(q13, q15) -> q28,
             f_0(q1, q1) -> q0,
             f_0(q1, q0) -> q0,
             f_0(q0, q1) -> q0,
             f_0(q0, q0) -> q0,
                   e_1() -> q11,
                   e_0() -> q0,
     if_1(q11, q27, q28) -> q0,
     if_1(q11, q16, q19) -> q0,
        if_0(q1, q1, q1) -> q0,
        if_0(q1, q1, q0) -> q0,
        if_0(q1, q0, q1) -> q0,
        if_0(q1, q0, q0) -> q0,
        if_0(q0, q1, q1) -> q0,
        if_0(q0, q1, q0) -> q0,
        if_0(q0, q0, q1) -> q0,
        if_0(q0, q0, q0) -> q0}
   Strict:
   {}
   Qed