sig
  type t
  val equal : CfgCompiler.Cfg.C.t -> CfgCompiler.Cfg.C.t -> bool
  val create : S.t -> Lang.F.pred -> CfgCompiler.Cfg.C.t
  val get : CfgCompiler.Cfg.C.t -> Lang.F.pred
  val reads : CfgCompiler.Cfg.C.t -> S.domain
  val relocate : S.t -> CfgCompiler.Cfg.C.t -> CfgCompiler.Cfg.C.t
end