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