NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 16: ___const_7_0 == -1 and ___const_8_0 == 0 and oldX0_post == 0 and oldX1_post == 0 and oldX2_post == 0 and oldX3_post == 0 and oldX4_post == 0 and x0_0 == 0 and x0_post == 0 and x1_0 == 0 and x1_post == 0 and x2_0 == 0 and x2_post == 0 and x3_0 == 0 and x3_post == 0
Errors: