Domain-specific wrapper for graph, starting point for traversals.
the underlying graph. An empty graph is created if this parameter is omitted.