let default_edge_attributes _ = []