NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 6: lt_15_0 == 0 and lt_15_post == 0 and nd_12_1 == 0 and p_14_post == 0 and rv_18_post == 0 and x_13_0 == 0 and y_16_0 == 1
Errors: