NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 10: 0 <= i5_0 and 0 <= i5_post and n_promoted_1_0 <= 0 and n_promoted_1_post <= 0 and tmp_post <= 0 and i5_post-i5_0 <= 0 and i5_0-i5_post <= 0 and 0 <= i5_post+i5_0 and n_promoted_1_0-i5_0 <= 0 and n_promoted_1_0-i5_post <= 0 and n_promoted_1_post-i5_0 <= 0 and n_promoted_1_post-i5_post <= 0 and n_promoted_1_post-n_promoted_1_0 <= 0 and n_promoted_1_0-n_promoted_1_post <= 0 and n_promoted_1_post+n_promoted_1_0 <= 0 and n_promoted_1_post-tmp_post <= 0 and tmp_post-n_promoted_1_post <= 0 and n_promoted_1_post+tmp_post <= 0 and tmp_post-i5_0 <= 0 and tmp_post-i5_post <= 0 and tmp_post-n_promoted_1_0 <= 0 and n_promoted_1_0-tmp_post <= 0 and tmp_post+n_promoted_1_0 <= 0 and 0 <= 0
Errors: