let disp_preds () = disp_table (va "PREDICATES: [%2d]" (Hashtbl.length hp)) hp