NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 109: copied2_0 == 0 and copied2_post == 0 and ndi2_0 == 0 and ndi2_post == 0
Errors: