NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 10: 0 <= c_post and 0 <= 0
Errors: