let search_input kind kf lazy_l =
    try
      match kind with
      | Forward _ -> Lazy.force lazy_l
      | Direct | Indirect_Backward ->
          if !Db.Value.use_spec_instead_of_definition kf
          then Lazy.force lazy_l
          else []
    with Not_found ->
      []