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