NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 19: i5_0 == 0 and i5_post == 0 and length4_0 == 0 and length4_post == 0 and s_post == 0 and tmp_post == 0
Errors: