NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 19: Pdolen_0 == 0 and ___rho_1__0 == 1 and ___rho_1__post == 1 and i_0 == 0 and num_post == 0 and set_0 == 0 and set_1 == 1 and set_post == 0 and unset_post == 0
Errors: