YES

This TRS is terminating using the restricteddeltasimple interpretation 
true(delta11) =  + 0 + 0*delta11
less_leaves(delta10, X11, X10) =  + 0*X10 + 0*X11 + 0 + 2*X10*delta10 + 2*X11*delta10 + 0*delta10
false(delta9) =  + 0 + 0*delta9
cons(delta8, X9, X8) =  + 1*X8 + 0*X9 + 2 + 0*X8*delta8 + 3*X9*delta8 + 1*delta8
leaf(delta7) =  + 0 + 1*delta7
concat(delta6, X7, X6) =  + 1*X6 + 1*X7 + 0 + 0*X6*delta6 + 1*X7*delta6 + 0*delta6
less_leaves_tau_1(delta10) =  + 1(delta10/(0 + 2 * delta10))
less_leaves_tau_2(delta10) =  + 1(delta10/(0 + 2 * delta10))
cons_tau_1(delta8) =  + 1(delta8/(0 + 3 * delta8))
cons_tau_2(delta8) =  + 1(delta8/(1 + 0 * delta8))
concat_tau_1(delta6) =  + 1(delta6/(1 + 1 * delta6))
concat_tau_2(delta6) =  + 1(delta6/(1 + 0 * delta6))

Time: 0.397411 seconds
SUCCESS

Statistics:
Number of monomials: 325
Last formula building started for bound 3
Last SAT solving started for bound 3