NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 11: 2 <= ___const_10_0 and 2 <= i_0 and i_0 <= 2 and 2 <= i_post and i_post <= 2 and j_0 <= 2 and j_post <= 2 and j_0-___const_10_0 <= 0 and i_0-___const_10_0 <= 0 and 4 <= i_0+___const_10_0 and j_0-i_0 <= 0 and i_0+j_0 <= 4 and j_post-i_0 <= 0 and i_0+j_post <= 4 and i_post-___const_10_0 <= 0 and 4 <= i_post+___const_10_0 and i_post-i_0 <= 0 and i_0-i_post <= 0 and i_post+i_0 <= 4 and 4 <= i_post+i_0 and j_0-i_post <= 0 and i_post+j_0 <= 4 and j_post-i_post <= 0 and i_post+j_post <= 4 and j_post-___const_10_0 <= 0 and j_post-j_0 <= 0 and j_0-j_post <= 0 and j_post+j_0 <= 4 and 0 <= 0
Errors: