let
declared_predicates =
Hashtbl
.create 97