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