let vertex_attributes v =
        match G.V.label v with
        |PkgV.Or _ -> [`Label "Or" ; `Shape `Diamond]
        |-> []