sig
  type key1 = Property.t
  type key2 = Cil_datatype.Stmt.t
  val mem : key1 -> key2 -> bool
  val property : key1 -> key2 -> Property.t
  val add_hook : (key1 -> key2 -> Property.t -> unit) -> unit
end