let (hp : (string, predicate record) Hashtbl.t) = Hashtbl.create 10