sig
  type t
  val empty : Subst.t
  val add : Cil_types.varinfo -> Cil_types.exp -> Subst.t -> Subst.t
  val remove : Cil_types.varinfo -> Subst.t -> Subst.t
  val expr : ?trans:bool -> Cil_types.exp -> Subst.t -> Cil_types.exp * bool
  val lval : ?trans:bool -> Cil_types.lval -> Subst.t -> Cil_types.exp * bool
end