let get_subgraph v =
let mk_subgraph name attrib =
let attrib = (`Style `Filled) :: attrib in
Some { Graph.Graphviz.DotAttributes.sg_name= name;
Graph.Graphviz.DotAttributes.sg_attributes = attrib }
in
match !(V.label v).kind with
| VcallIn (s,_,_,_) | VcallOut (s,_,_,_) | VcallExit (s,_,_,_) ->
let name = Format.sprintf "Call_%d" s.sid in
let call_txt = pretty_raw_stmt s in
let label = Format.sprintf "Call <%d> : %s" s.sid call_txt in
let attrib = [(`Label label)] in
let attrib = (`Fillcolor 0xB38B4D) :: attrib in
mk_subgraph name attrib
| _ -> None