NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 9: Result_4_1 == 0 and ___cil_tmp6_15_post == 0 and a_140_0 == 0 and a_16_0 == 0 and head_12_0 == 0 and head_12_post == 0 and i_11_0 == 1 and i_11_post == 1 and len_47_0 == 0 and length_10_0 == 2 and lt_21_1 == 0 and t_17_post == 0 and tmp_13_post == 0 and tmp_20_post == 0 and tmp___0_14_post == 0 and x_18_0 == 0 and x_18_post == 0
Errors: