Add an assertion in checkSearchResult