sig
  type t
  val join : t -> t -> t
  val bottom : t
  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