let default kf = not (Kernel_function.is_definition kf)