NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 6: arg1 <= 0 and arg1P <= 0 and 0 <= arg2 and arg2 <= 4 and arg1P-arg1 <= 0 and arg1-arg1P <= 0 and arg1P+arg1 <= 0 and arg1-arg2 <= 0 and arg2+arg1 <= 0 and arg1P-arg2 <= 0 and arg2+arg1P <= 0 and arg1+1 <= 0
Errors: