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 nodes_and_co =
          !Db.Pdg.find_code_annot_nodes pdg before stmt annot in
          to_select <- add_nodes_and_undef_to_select true nodes_and_co to_select
      with PdgIndex.NotFound -> () (* unreachable *)
    in Cil.SkipChildren