NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 7: A_1 == 1 and A_post == 0 and R_1 == 0 and R_post == 0 and dobreak_0 == 0 and dobreak_post == 0 and n_0 == 0 and n_post == 0
Errors: