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)