let declared_predicates = Hashtbl.create 97