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