Add 'has_vertex' to Graph. Part of #3