let hash kf = Hashtbl.hash (Kernel_function.get_name kf)