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