* Add a DominatorBase base class to maintain root of Dominator info