NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 35: 0 <= i_0 and i_0 <= 0 and 0 <= i_post and i_post <= 0 and 0 <= k_0 and 0 <= k_post and nodecount_0 <= 1 and ____lengthofvisited_post-edgecount_0 <= 0 and edgecount_0-____lengthofvisited_post <= 0 and i_0-i_post <= 0 and i_post-i_0 <= 0 and i_0+i_post <= 0 and 0 <= i_0+i_post and i_0-k_0 <= 0 and 0 <= i_0+k_0 and i_0-k_post <= 0 and 0 <= i_0+k_post and nodecount_0-i_0 <= 1 and i_0+nodecount_0 <= 1 and i_post-k_0 <= 0 and 0 <= i_post+k_0 and i_post-k_post <= 0 and 0 <= i_post+k_post and nodecount_0-i_post <= 1 and i_post+nodecount_0 <= 1 and k_post-k_0 <= 0 and k_0-k_post <= 0 and 0 <= k_post+k_0 and nodecount_0-k_0 <= 1 and nodecount_0-k_post <= 1 and nodecount_0-k_0 <= 0
Errors: