NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 5: arg1 == -5 and arg1P == -5 and arg2 == 2 and arg2P == 0 and x10 == 0 and x13 == 5 and x14 == 0 and x15 == 0 and x8 == 0 and x9 == 0
Errors: