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 node_type (V.label v) with
| Vcall (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