fix error in addDominator on Vertex