anchor.diff:        Receive =:= 'receive' ->
       false;
   
  -%% %% Swapped version, as the message checking code can force a swap.
  +%% Swapped version, as the message checking code can force a swap.
   dependent({_Lid1, {Receive, _Details1}, _Msgs1},
             {_Lid2, {   _Any, _Details2}, _Msgs2},
             _CheckMsg, ?ONLY_AFTER_SWAP) when
  
positive.code:                     error -> false
                  end
          end,
      case Dependent of
          true -> true;
          false ->
              case AllowSwap of
                  true -> dependent(Trans2, Trans1, ?CHECK_MSG, ?DONT_ALLOW_SWAP);
                  false -> false
              end
      end;
  %%==============================================================================
  
  %% Other instructions are not in race with receive or after, if not caught by
  
negative.code: %%%----------------------------------------------------------------------
  %%% Copyright (c) 2013, Alkis Gotovos <el3ctrologos@hotmail.com>,
  %%%                     Maria Christakis <mchrista@softlab.ntua.gr>
  %%%                 and Kostis Sagonas <kostis@cs.ntua.gr>.
  %%% All rights reserved.
  