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_stmt : Cil_types.stmt -> t -> (Cil_types.stmt * t) list
val init : (Cil_types.stmt * t) list
end