NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 5: 2 <= arg1 and arg1 <= 2 and 2 <= arg1P and arg1P <= 2 and 98 <= arg2 and arg2 <= 98 and 98 <= arg2P and arg2P <= 98 and arg1-arg2P <= -96 and arg2P-arg1 <= 96 and arg1+arg2P <= 100 and 100 <= arg1+arg2P and arg1P-arg1 <= 0 and arg1-arg1P <= 0 and arg1P+arg1 <= 4 and 4 <= arg1P+arg1 and arg1P-arg2P <= -96 and arg2P-arg1P <= 96 and arg1P+arg2P <= 100 and 100 <= arg1P+arg2P and arg2-arg1 <= 96 and arg1-arg2 <= -96 and arg2+arg1 <= 100 and 100 <= arg2+arg1 and arg2-arg1P <= 96 and arg1P-arg2 <= -96 and arg2+arg1P <= 100 and 100 <= arg2+arg1P and arg2-arg2P <= 0 and arg2P-arg2 <= 0 and arg2+arg2P <= 196 and 196 <= arg2+arg2P and arg2+-51 <= 0 and -arg2+arg1+1 <= 0
Errors: