NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 9: ___const_99_0 == 1 and hi_0 == 0 and hi_post == 0 and lo_0 == 1 and lo_post == 1
Errors: