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