NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 8: x_5_0-___const_19_0 <= 0 and y_6_0-___const_29_0 <= 0
Errors: