Add code to detect when non-greedy kleene stops making forward progress.