NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 5: elem_13_post == 0 and l_11_0 == 0 and l_11_post == 0 and len_98_0 == 1 and len_98_1 == 1 and len_98_post == 1 and x_12_0 == 0
Errors: