NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 42: b_0 == 1 and b_post == 1 and e_0 == 0 and e_post == 0 and f_0 == -1 and f_post == 0 and olde_0 == 0 and olde_post == 0 and q_post == 0 and x_0 == 0 and x_post == 0
Errors: