NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 33: cnt_58_0 == 0 and nondet_12_post == 0 and nondet_18_post == 0 and nondet_19_post == 0 and nondet_29_post == 0 and nondet_30_0 == 0 and nondet_30_post == 0 and nondet_7_post == 1 and nondet_8_post == 0 and t_1122_0 == -1 and t_1130_0 == 0 and t_1134_0 == -1 and t_1146_0 == 0 and t_1153_post == 0 and t_1166_0 == -1 and t_1174_0 == 0 and t_1178_0 == -1 and t_1193_0 == 0 and t_1197_0 == 0 and t_11_1 == 0 and t_11_post == 0 and t_1204_post == 0 and t_1219_0 == -1 and t_1227_0 == 0 and t_1231_0 == -1 and t_15_1 == 0 and t_15_2 == 0 and t_15_3 == 0 and t_15_4 == 0 and t_15_5 == 0 and t_15_post == 0 and t_17_1 == -1 and t_17_2 == -1 and t_17_3 == -1 and t_17_post == -1 and temp118_31_post == 1 and x_9_1 == 1 and x_9_post == 0
Errors: