Module Cil2cfg.CFG


module CFG: Graph.Imperative.Digraph.ConcreteLabeled(VL)(EL)
the CFG is an ocamlgraph, but be careful to use it through the cfg function because some edges doesn't have the same meaning the some others...