anchor.diff:      down = S,  %% sanity check
       stop;
   transition({shutdown = T, Pid}, #watchdog{parent = Pid,
  -                                          transport = TPid}) ->
  +                                          transport = TPid}
  +                                = S) ->
       TPid ! {T, self()},
  -    ok;
  +    S#watchdog{shutdown = true};
   
   %% Parent process has died,
   transition({'DOWN', _, process, Pid, _Reason},
  
positive.code:     handle_info(T, upgrade(S)).
  
  upgrade(S) ->
      #watchdog{} = list_to_tuple(tuple_to_list(S) ++ [?NOMASK, {nodes, true}]).
  
  event(#watchdog{status = T}, #watchdog{status = T}) ->
      ok;
  
negative.code: 
  transition({'DOWN', _, process, TPid, _},
             #watchdog{transport = TPid,
                       status = S,
                       shutdown = D})
    when S == initial;
         D ->
      stop;
  
  transition({'DOWN', _, process, TPid, _},
  