Move this method out of the generic dominators calculation code