Adds a vertex and an edge in a single operation.
a new graph instance with both the vertex and edge added
the vertex to add
the source vertex of the edge
the destination vertex of the edge