NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 8: ___const_100_0 == -1 and ___const_200_0 == 0 and ___const_300_0 == 0 and ___const_400_0 == 0 and x_0 == 0 and x_post == 0
Errors: