let
default kf = not (
Kernel_function
.is_definition kf)