let find_label idx lab =
let collect k info res = match k with
| Hkey.Hlabel (_,k_lab) ->
if Cil_datatype.Label.equal k_lab lab then info :: res else res
| _ -> res
in
let infos = H.fold collect idx.other [] in
match infos with
info :: [] -> info | [] -> raise Not_found | _ -> assert false