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