NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 7: i_13_0 <= 0 and i_13_post <= 0 and i_13_post-i_13_0 <= 0 and i_13_0-i_13_post <= 0 and i_13_post+i_13_0 <= 0 and i_13_0-___const_10_0+1 <= 0
Errors: