NO Nontermination proof succeeded Found this recurrent set for cutpoint 7: x_0 <= 100 and x_post <= 100 and x_0-x_post <= 0 and x_post-x_0 <= 0 and x_0+x_post <= 200 and 0 <= 0 Errors: