NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 10: 4 <= maxRetries_9_post and maxRetries_9_post <= 4 and 0 <= retryCount_10_0 and 0 <= retryCount_10_post and maxRetries_9_post-retryCount_10_0 <= 4 and 4 <= maxRetries_9_post+retryCount_10_0 and maxRetries_9_post-retryCount_10_post <= 4 and 4 <= maxRetries_9_post+retryCount_10_post and retryCount_10_post-retryCount_10_0 <= 0 and retryCount_10_0-retryCount_10_post <= 0 and 0 <= retryCount_10_post+retryCount_10_0 and 0 <= 0
Errors: