Lineage.Out
val report_graph : IStdlib.IStd.Out_channel.t -> IR.Procdesc.t -> G.t -> unit
val report_summary : IR.Procdesc.t -> Summary.t -> unit