destructor added to RandomSimulator