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