modified:   include/klee/Searcher.h
	modified:   lib/Core/Searcher.cpp
add header for TCeItem, remove getNameStr() function