Module Cil2cfg.MyGraph

module MyGraph: Graph.Blocks.Make(PMAP)
the CFG is an ocamlgraph, but be careful to use it through the cfg function because some edges don't have the same meaning as some others...