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