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