let search_input kind kf lazy_l =
try
match kind with
| Forward _ -> Lazy.force lazy_l
| Direct | Indirect_Backward ->
if Kernel_function.is_definition kf then [] else Lazy.force lazy_l
with Pdg.NotFound ->
[]