NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 8: arg1 == 0 and arg1P == 0 and arg2 == 2 and arg2P == 0 and x18 == 1 and x19 == 0 and x22 == 0 and x23 == 0 and x24 == 0
Errors: