SearchSpace destructor removed