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"