changes in Vertex class add dominators and package algorithms and some implementations