Simplify "fail high upon reduction" in null search