Use cycle detection to bound search value