sig
  type t
  val join : t -> t -> t
  val bottom : t
  val is_included : t -> t -> bool
  val join_and_is_included : t -> t -> t * bool
  val pretty : Format.formatter -> t -> unit
  val transfer_exp : Cil_types.exp -> (Cil_types.lval -> t option) -> t
  val transfer_lval : Cil_types.lval -> (Cil_types.lval -> t option) -> t
end