let hash (n, kf) = 7 * Kernel_function.hash kf + PdgTypes.Node.hash n