let vertex_name v = match v with | Src fi -> M.fi_name fi | Slice ff -> M.ff_name ff | Action (n, _) -> ("rq_"^(string_of_int n)) | OptSlicingLevel _ -> "slicing_level" | OptSliceCallers _ -> "slice_callers"