NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 36: A_0 == 0 and A_1 == 1 and A_post == 0 and NBuffers_0 == 0 and NBuffers_post == 0 and R_0 == 0 and R_1 == 1 and R_post == 0 and i_0 == 1 and i_post == 1 and istemp_0 == 0 and istemp_post == 0
Errors: