NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 19: a_176_0 == 2 and a_176_post == 2 and a_328_post == 2 and a_356_post == 2 and a_80_post == 2 and h_15_post == 0 and h_32_0 == 0 and h_32_post == 0 and i_109_post == 2 and i_119_post == 0 and i_205_post == 2 and i_28_0 == 0 and i_28_post == 0 and i_30_0 == 2 and i_30_1 == 2 and i_30_2 == 2 and i_30_3 == 2 and i_30_post == 0 and i_347_0 == 0 and l_160_0 == 0 and l_160_post == 0 and l_29_0 == 2 and l_29_post == 0 and l_327_post == 0 and l_355_post == 0 and nd_12_1 == 0 and r_49_post == 0 and r_56_post == 0 and rt_11_1 == 0 and rv_13_0 == 2 and rv_13_post == 2 and rv_33_0 == 0 and st_27_0 == 1 and st_27_post == 1 and st_31_1 == 0 and t_34_post == 0 and tp_35_0 == 13 and tp_35_post == 0 and x_14_post == 0
Errors: