anchor.diff:                     #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,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,_}}) ->
  
positive.code:   false;
  dependent_exit(_Exit, {erlang, spawn, _}) ->
    false;
  dependent_exit(#exit_event{name = Name}, {erlang, whereis, [WhereIs]}) ->
    WhereIs =:= Name;
  dependent_exit(#exit_event{actor = Exiting}, {ets, give_away, [_, Pid, _]}) ->
  
negative.code: 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,whereis,[WName]}},
                     #builtin_event{mfa = {erlang,UnRegisterOp,[RName|_]}})
    when UnRegisterOp =:= register;
         UnRegisterOp =:= unregister ->
    WName =:= RName;
  dependent_built_in(#builtin_event{mfa = {erlang,whereis,_}} = W,
                     #builtin_event{mfa = {erlang,UnRegisterOp,_}} = R)
    when UnRegisterOp =:= register;
         UnRegisterOp =:= unregister ->
    dependent_built_in(W, R);
  
  dependent_built_in(#builtin_event{mfa = {ets,delete,[Table1]}},
                     #builtin_event{mfa = {ets,_Any,[Table2|_]}}) ->
  