Added lookahead_noprogress