Switch DomTreeNode::assignDFSNumber from using a std::set to using