NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 10: ___const_14_0 == 0 and ___const_8_0 == 0 and fvalue3_post == -1 and low6_0 == 0 and low6_post == 0 and mid4_0 == 1 and mid4_post == 1 and up5_0 == 0 and up5_post == 0 and x2_post == 0
Errors: