CFG.Node
type t = MockProcCfg.Node.t
type id = MockProcCfg.Node.id
val id : t -> id
module IdMap : sig ... end