let graph_attributes (name, _) = [`Label name]