anchor.diff:                  case orddict:find(Lid2, Msgs1) of
                       {ok, MsgsToLid2} ->
                           Fun =
  -                            case Tag of
  +                            case Receive of
                                   'after' -> Info;
                                   'receive' ->
                                       Target = element(3, Info),
  
positive.code:             end
      end;
  
  %% Sending to an activated after clause depends on that receive's patterns OR
  %% Sending the message that triggered a receive's 'had_after'
  dependent({ Lid1,         Instr1, PreMsgs1} = Trans1,
            { Lid2, {Tag, Info},   _Msgs2} = Trans2,
            CheckMsg, AllowSwap) when
        Tag =:= 'after';
        (Tag =:= 'receive' andalso
         element(1, Info) =:= had_after andalso
         element(2, Info) =:= Lid1) ->
      Check =
  
negative.code: 
  dependent(A, B) ->
      dependent(A, B, ?CHECK_MSG, ?ALLOW_SWAP).
  
  %%==============================================================================
  
  %% Instructions from the same process are always dependent
  dependent({Lid, _Instr1, _Msgs1},
            {Lid, _Instr2, _Msgs2}, ?ONLY_INITIALLY, ?ONLY_INITIALLY) ->
      true;
  
  %%==============================================================================
  
  %% XXX: This should be fixed in sched:recent_dependency_cv and removed
  dependent({_Lid1, _Instr1, _Msgs1},
  