let default_edge_attributes = fun _ -> []