modified:   lib/Core/Searcher.cpp