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