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 ()