sig
  type t = Letify.Defs.t
  val empty : t
  val merge : t -> t -> t
  val extract : Lang.F.pred -> t
  val domain : t -> Lang.F.Vars.t
end