NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 10: arg1 == 0 and arg1P == 0 and arg2 == 2 and arg2P == 0 and x14 == 0 and x15 == 0 and x16 == 0 and x30 == 1 and x31 == 0
Errors: