switched back to std::vector for successors: destructor was too slow