NO Nontermination proof succeeded Found this recurrent set for cutpoint 13: A_post == 0 and R_post == 0 and dobreak_0 == 1 and dobreak_post == 1 Errors: