sig
  type t
  val pretty : Format.formatter -> CfgCompiler.Cfg.E.t -> unit
  val create : S.t Sigs.sequence -> Lang.F.pred -> CfgCompiler.Cfg.E.t
  val get : CfgCompiler.Cfg.E.t -> Lang.F.pred
  val reads : CfgCompiler.Cfg.E.t -> S.domain
  val writes : CfgCompiler.Cfg.E.t -> S.domain
  val relocate :
    S.t Sigs.sequence -> CfgCompiler.Cfg.E.t -> CfgCompiler.Cfg.E.t
end