NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 17: Stored_post == 0 and tmp1_0 == -1 and tmp1_post == -1 and tmp___02_0 == 1 and tmp___02_post == 1
Errors: