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