let get_ind x = let k = I.index x in try I.H.find hindex k with Not_found -> let d = get_definition x in let t : integer = F.unwrap (F.e_call d.d_name []) in I.H.add hindex k t ; t