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