NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 12: ___const_10_0 == 1 and ___const_5_0 == 0 and i_0 == 0 and i_post == 0
Errors: