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