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)