method vcode_annot annot =
    let () =
      if filter annot then
      try
        let stmt = Cilutil.valOf self#current_stmt in
        debug 1 "selecting annotation : %a @."
          !Ast_printer.d_code_annotation annot;
        let info = !Db.Pdg.find_code_annot_nodes pdg stmt annot in
          to_select <- add_nodes_and_undef_to_select true info to_select
      with Not_found -> () (* unreachable *)
    in Cil.SkipChildren