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