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