let declared_logics = Hashtbl.create 97