let logic_names_overloading = Hashtbl.create 257