NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 34: Result_5_post == 0 and ____cil_tmp5_15_post == 0 and cand_19_post == 1 and elem_13_0 == 0 and elem_13_post == 0 and h_17_0 == 1 and h_17_1 == 0 and h_17_post == 0 and i_0 == 0 and i_post == 0 and l_11_0 == 0 and l_11_post == 0 and len_98_0 == 1 and len_98_post == 1 and lt1_post == 0 and lt_29_1 == 0 and prev_14_0 == 0 and prev_14_post == 0 and ret_18_post == 0 and x_12_0 == 0 and x_12_post == 0 and x_16_0 == 5 and x_16_post == 5 and y_1094_0 == 0
Errors: