Improving Non-Progress Cycle Checks