#2223: Introduced AddVertices method. Check if both source and target vertices are included in the graph when adding a new arc.