NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 7: ___const_256_0 == 1 and cnt_27_0 == 0 and cnt_32_0 == 1 and ct_49_0 == 1 and lt_13_1 == 1 and lt_14_1 == 1 and lt_16_1 == 0 and lt_17_1 == 0 and lt_18_1 == 1
Errors: