changed return value of search in basic_dict.cc