NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 34: ___const_15_0 == -1 and ___const_16_0 == 0 and oldX0_post == 0 and oldX1_post == 0 and oldX2_post == 0 and oldX3_post == 0 and oldX4_post == 0 and oldX5_post == 0 and oldX6_post == 0 and oldX7_post == 0 and oldX8_post == 0 and oldX9_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 and x4_0 == 0 and x4_post == 0 and x5_0 == 0 and x5_post == 0 and x6_0 == 0 and x6_post == 0 and x7_0 == 0 and x7_post == 0
Errors: