YES

(format LCTRS :logic QF_LIA)
(fun f2 2 :sort (Int Int Int))
(fun u_16 1 :sort (Int Int))

(rule (u_16 w_4_0) w_4_0 :vars ((w_4_0 Int)))
(rule (f2 i_1 j_2) (u_16 (f2 (- i_1 1) (+ j_2 1))) :guard (and (distinct i_1 0) (distinct i_1 1)) :vars ((i_1 Int) (j_2 Int)))
(rule (f2 i_3 j_4) (+ j_4 1) :guard (and (distinct i_3 0) (= i_3 1)) :vars ((i_3 Int) (j_4 Int)))
(rule (f2 i_5 j_6) j_6 :guard (= i_5 0) :vars ((i_5 Int) (j_6 Int)))

Confluent by Weak Orthogonality with proof:
no critical pairs

Elapsed Time:  14.66 ms