NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 18: WItemsNum_0 == -1 and WItemsNum_post == -1 and ____rho_1__post == -1
Errors: