pattern search results for cannot\_verify