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