let find_marks proj fct_var = try let f = Cilutil.VarinfoHashtbl.find proj fct_var in Some (F.get_idx f) with Not_found -> None