NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 12: ___const_10_0 == 0 and ___const_12_0 == 1 and ___const_30_0 == 4 and ___const_5_0 == 0 and a4_0 == 3 and a4_post == 3 and a_post == 1 and answer_post == 0 and b5_0 == 1 and b5_post == 1 and b_post == 1
Errors: