NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 42: i2_0 == 1 and i2rev_0 == 1 and i2rev_post == 1 and ibit_0 == 0 and ibit_post == 0 and idim_0 == 1 and ip1_0 == 0 and ip1_post == 0 and ip2_0 == 1 and ip2_post == 1 and ndim_0 == 0 and nprev_post == 1
Errors: