anchor.diff:  
   %%------------------------------------------------------------------------------
   
  -dependent_exit(_Exit, {erlang, '!', _}) ->
  -  false;
   dependent_exit(_Exit, {erlang, exit, _}) ->
     false;
   dependent_exit(#exit_event{actor = Exiting}, {erlang, link, [Linked]}) ->
  
positive.code: 
  %%------------------------------------------------------------------------------
  
  dependent_built_in(#builtin_event{mfa = {erlang,'!',_}},
                     #builtin_event{mfa = {erlang,'!',_}}) ->
    false;
  
  dependent_built_in(#builtin_event{mfa = {erlang,'!',_}},
                     #builtin_event{mfa = {erlang,process_flag,_}}) ->
    false;
  dependent_built_in(#builtin_event{mfa = {erlang,process_flag,_}} = PFlag,
                     #builtin_event{mfa = {erlang,'!',_}} = Send) ->
    dependent_built_in(Send, PFlag);
  
  dependent_built_in(#builtin_event{mfa = {erlang,exit,_}}, #builtin_event{}) ->
    false;
  dependent_built_in(Any, #builtin_event{mfa = {erlang,exit,_}} = Exit) ->
    dependent_built_in(Exit, Any);
  
  dependent_built_in(#builtin_event{mfa = {erlang,link,_}},
                     #builtin_event{mfa = {erlang,process_flag,_}}) ->
    false;
  dependent_built_in(#builtin_event{mfa = {erlang,process_flag,_}} = PFlag,
                     #builtin_event{mfa = {erlang,link,_}} = Link) ->
    dependent_built_in(Link, PFlag);
  
  dependent_built_in(#builtin_event{mfa = {erlang,make_ref,_}}, #builtin_event{}) ->
    false;
  dependent_built_in(#builtin_event{} = Any,
                     #builtin_event{mfa = {erlang,make_ref,_}} = MakeRef) ->
    dependent_built_in(MakeRef, Any);
  
  dependent_built_in(#builtin_event{mfa = {erlang,'!',_}},
                     #builtin_event{mfa = {erlang,spawn,_}}) ->
    false;
  dependent_built_in(#builtin_event{mfa = {erlang,spawn,_}} = Spawn,
                     #builtin_event{mfa = {erlang,'!',_}} = Send) ->
    dependent_built_in(Send, Spawn);
  
  dependent_built_in(#builtin_event{mfa = {erlang,SendOrWhereis,[SName|_]}},
                     #builtin_event{mfa = {erlang,UnRegisterOp,[RName|_]}})
  
negative.code: dependent_exit(_Exit, {erlang, spawn, _}) ->
    false;
  dependent_exit(#exit_event{monitors = Monitors}, {erlang, demonitor, [Ref, _]}) ->
    false =/= 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, NameRelated, [OName|_]})
    when
      NameRelated =:= '!';
      NameRelated =:= send;
      NameRelated =:= whereis ->
    OName =:= Name;
  dependent_exit(#exit_event{actor = Exiting, name = Name},
                 {erlang,UnRegisterOp,[RName|Rest]})
    when UnRegisterOp =:= register;
  