NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 45: i1_0 <= 0 and isign_0 <= 0 and 0 <= wi_post and wi_post <= 0 and i1_0-j1___0_post <= -2 and i1_0-nn1_0 <= 0 and i1_0-wi_post <= 0 and i1_0+wi_post <= 0 and isign_0+i1_0 <= 0 and isign_0-wi_post <= 0 and isign_0+wi_post <= 0 and nn1_0-j1___0_post <= -2 and wr_post-wr_0 <= 0 and wr_0-wr_post <= 0 and nn2_0-i2_0+1 <= 0
Errors: