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+-9 <= 0
Errors: