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 ->
      []