NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 25: cand_19_post == 0 and h_17_0 == 0 and h_17_1 == 0 and h_17_post == 7 and i_0 == 0 and len_98_0 == 0 and len_98_post == 0 and lt1_0 == 0 and lt2_post == 0 and lt3_0 == 0 and lt3_post == 0 and lt_29_1 == 0 and ret_18_post == 0 and sz_0 == 0 and x_16_0 == 0 and x_16_post == 0 and y_1094_0 == 0
Errors: