NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 5: x_1 == -1 and x_next_1 == -1 and x_next_post == 0 and x_post == 0
Errors: