anchor.diff:      lists:member(named_table, Options) andalso
           lists:member(Name, NamedTables);
   
  -%% Table owners exits mess things up.
  +%% Table owners exits race with any ets operation on the same table.
   dependent({_Lid1, { ets, {   _Op,                     [Table|_Rest]}}, _Msgs1},
             {_Lid2, {exit, {normal, {{_Heirs, Tables}, _Name, _Links}}}, _Msgs2},
             _CheckMsg, _AllowSwap) ->
       lists:keymember(Table, 1, Tables);
   
  +%% %% Covered by next
  +%% dependent({_Lid1, { ets, _Details1}, _Msgs1},
  +%%           {_Lid2, {exit, _Details2}, _Msgs2},
  +%%           _CheckMsg, _AllowSwap) ->
  +%%     false;
  +
  +%%==============================================================================
  +
  +%% No other operations race with ets operations.
  +dependent({_Lid1, { ets, _Details1}, _Msgs1},
  +          {_Lid2, {_Any, _Details2}, _Msgs2},
  +          _CheckMsg, _AllowSwap) ->
  +    false;
  +
  +%%==============================================================================
  +
   %% Heirs exit should also be monitored.
   %% Links exit should be monitored to be sure that messages are captured.
  +%% XXX: Should eventually be removed
   dependent({Lid1, {exit, {normal, {{Heirs1, _Tbls1}, _Name1, Links1}}}, _Msgs1},
             {Lid2, {exit, {normal, {{Heirs2, _Tbls2}, _Name2, Links2}}}, _Msgs2},
             _CheckMsg, ?SYMMETRIC) ->
       lists:member(Lid1, Heirs2) orelse lists:member(Lid2, Heirs1) orelse
           lists:member(Lid1, Links2) orelse lists:member(Lid2, Links1);
   
  +%%==============================================================================
   
   %% Registered processes:
   
  
positive.code:                 false -> false
              end
      end;
  
  
  %% ETS operations live in their own small world.
  dependent({_Lid1, {ets, Op1}, _Msgs1},
  
negative.code:   when Special =:= 'block'; Special =:= 'init' ->
      false;
  
  %%==============================================================================
  
  %% Decisions depending on send and receive statements:
  
  %%==============================================================================
  
  %% Sending to the same process:
  dependent({_Lid1, Instr1, PreMsgs1} = Trans1,
  