anchor.diff:    false;
   dependent_exit(_Exit, {erlang, spawn, _}) ->
     false;
  +dependent_exit(#exit_event{monitors = Monitors}, {erlang, demonitor, [Ref, _]}) ->
  +  lists:keyfind(Ref, 1, Monitors);
  +dependent_exit(#exit_event{actor = Exiting, name = Name},
  +               {erlang, monitor, [process, PidOrName]}) ->
  +  Exiting =:= PidOrName orelse Name =:= PidOrName;
   dependent_exit(#exit_event{name = Name}, {erlang, whereis, [WhereIs]}) ->
     WhereIs =:= Name;
   dependent_exit(#exit_event{actor = Exiting}, {ets, give_away, [_, Pid, _]}) ->
  
positive.code:                    #builtin_event{mfa = {erlang,'!',_}} = Send) ->
    dependent_built_in(Send, PFlag);
  
  dependent_built_in(#builtin_event{mfa = {erlang,exit,_}},
                     #builtin_event{mfa = {erlang,exit,_}}) ->
    false;
  
  dependent_built_in(#builtin_event{mfa = {erlang,exit,_}},
                     #builtin_event{mfa = {erlang,link,_}}) ->
    false;
  dependent_built_in(#builtin_event{mfa = {erlang,link,_}} = Link,
                     #builtin_event{mfa = {erlang,exit,_}} = Exit) ->
    dependent_built_in(Exit, Link);
  
  dependent_built_in(#builtin_event{mfa = {erlang,exit,_}},
                     #builtin_event{mfa = {erlang,process_flag,_}}) ->
    false;
  dependent_built_in(#builtin_event{mfa = {erlang,process_flag,_}} = PFlag,
                     #builtin_event{mfa = {erlang,exit,_}} = Exit) ->
    dependent_built_in(Exit, PFlag);
  
  dependent_built_in(#builtin_event{mfa = {erlang,link,_}},
                     #builtin_event{mfa = {erlang,process_flag,_}}) ->
  
negative.code: dependent(#message_event{} = Message,
            #builtin_event{mfa = {erlang,process_flag,[trap_exit,_]}} = PFlag) ->
    dependent(PFlag, Message);
  
  dependent(#exit_event{actor = Exiting, reason = Reason},
            #message_event{message = #message{data = Data},
                           recipient = Recipient, type = Type}) ->
    Type =:= exit_signal
      andalso
      Exiting =:= Recipient
      andalso
      Reason =/= Data;
  dependent(#message_event{} = Message, #exit_event{} = Exit) ->
    dependent(Exit, Message);
  
  dependent(#exit_event{}, #exit_event{}) ->
    false;
  