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