NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 7: ___const_256_0 == 1 and cnt_29_0 == 0 and cnt_34_0 == 2 and ct_115_0 == 1 and lt_13_1 == 1 and lt_14_1 == 1 and lt_16_1 == 1 and lt_17_1 == 2 and lt_18_1 == 0 and lt_19_1 == 0 and lt_20_1 == 2
Errors: