let incr_addr_taken var = 
  debug "[incr_addr] %a" pp_var_type var;
  oracle "[incr_addr] %a" pp_var_type var; 
  let (n,r) = try AddrTaken.find var with Not_found -> (0,0) in 
  AddrTaken.replace var (n+1,r)