NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 7: a_6_post == 0 and b_7_post == 0 and c_8_post == 0 and cnt_38_0 == -1 and d_9_post == 0 and e_10_post == 0 and f_11_post == 0 and g_12_post == 0 and h_13_post == 0 and lt_18_1 == 1 and lt_19_1 == 0 and lt_21_1 == -1 and lt_25_1 == -1 and x_5_post == 0
Errors: