sig
  type t
  val pretty : Format.formatter -> CfgCompiler.Cfg.T.t -> unit
  val create :
    S.t CfgCompiler.Cfg.Node.Map.t -> Lang.F.term -> CfgCompiler.Cfg.T.t
  val get : CfgCompiler.Cfg.T.t -> Lang.F.term
  val reads : CfgCompiler.Cfg.T.t -> S.domain CfgCompiler.Cfg.Node.Map.t
  val relocate :
    S.t CfgCompiler.Cfg.Node.Map.t ->
    CfgCompiler.Cfg.T.t -> CfgCompiler.Cfg.T.t
  val init :
    CfgCompiler.Cfg.Node.Set.t ->
    (S.t CfgCompiler.Cfg.Node.Map.t -> Lang.F.term) -> CfgCompiler.Cfg.T.t
  val init' :
    CfgCompiler.Cfg.Node.t -> (S.t -> Lang.F.term) -> CfgCompiler.Cfg.T.t
end