add prove searcher; refactor SuiteUtil