NO Nontermination proof succeeded Found this recurrent set for cutpoint 5: x_0-___const_100_0 <= 0 and x_post-___const_100_0 <= 0 and x_post-x_0 <= 0 and x_0-x_post <= 0 and 0 <= 0 Errors: