let add_predicate name pred_info = begin if not (Hashtbl.mem declared_predicates name) then Hashtbl.remove declared_predicates name; Hashtbl.add declared_predicates name pred_info end