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