let set_addr_taken vinfo = if Wp_parameters.debug_atleast 1 && not (AddrTaken.mem vinfo) then Wp_parameters.debug "Non-functional variable %a" !Ast_printer.d_var vinfo ; AddrTaken.replace vinfo ()