anchor.diff:                _Other ->
                   {RaceList, [], NestingLevel, false}
               end;
  -          #dep_call{call_name = ets_lookup, args = DepCallArgs} ->
  +          #dep_call{call_name = ets_lookup} ->
               case RaceWarnTag of
                 ?WARN_ETS_LOOKUP_INSERT ->
  -                [Tab, Names, _, _] = DepCallArgs,
  -                case compare_var_list(Tab,
  -                  dialyzer_callgraph:get_public_tables(Callgraph),
  -                  RaceVarMap)
  -                  orelse
  -                  length(Names --
  -                  dialyzer_callgraph:get_named_tables(Callgraph)) <
  -                  length(Names) of
  -                  true ->
  -                    {[Head#dep_call{var_map = RaceVarMap}|RaceList],
  -                     [], NestingLevel, false};
  -                  false ->
  -                    {RaceList, [], NestingLevel, false}
  -                end;
  +                {[Head#dep_call{var_map = RaceVarMap}|RaceList],
  +                 [], NestingLevel, false};
                 _Other ->
                   {RaceList, [], NestingLevel, false}
               end;
  
positive.code:               _Other ->
                  {RaceList, [], NestingLevel, false}
              end;
    	  #warn_call{call_name = ets_insert, args = WarnCallArgs} ->
              case RaceWarnTag of
                ?WARN_ETS_LOOKUP_INSERT ->
                  [Tab, Names, _, _] = WarnCallArgs,
                  case compare_var_list(Tab,
                    dialyzer_callgraph:get_public_tables(Callgraph),
                    RaceVarMap)
                    orelse
                    length(Names --
                    dialyzer_callgraph:get_named_tables(Callgraph)) <
                    length(Names) of
                    true ->
                      {[Head#warn_call{var_map = RaceVarMap}|RaceList],
                       [], NestingLevel, false};
                    false ->
                      {RaceList, [], NestingLevel, false}
                  end;
                _Other ->
                  {RaceList, [], NestingLevel, false}
              end;
  
negative.code:                      var_map    :: dict()}).
  
  -type case_tags()  :: 'beg_case' | #beg_clause{} | #end_clause{} | #end_case{}.
  -type code()       :: [#dep_call{} | #fun_call{} | #warn_call{} |
                         #curr_fun{} | #let_tag{} | case_tags() | race_tag()].
  
  -type table_var()  :: label() | ?no_label.
  