- Use assumptions to check whether PROP_SEARCH_VALUE is set.