NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 25: h_15_0 == 0 and h_15_post == 0 and h_31_0 == 0 and h_31_post == 0 and i_27_0 == 0 and i_27_post == 0 and i_29_0 == 1 and i_29_post == 0 and l_28_0 == 1 and l_28_post == 0 and nd_12_1 == 0 and r_461_post == 0 and r_464_post == 0 and r_47_0 == 0 and r_47_post == 0 and r_517_post == 0 and r_54_post == 0 and rt_11_1 == 0 and rv_13_0 == 1 and rv_13_post == 1 and rv_32_0 == 0 and st_30_1 == 0 and t_33_post == 0 and tp_34_0 == 6 and tp_34_post == 0 and x_14_0 == 0 and x_14_post == 0
Errors: