anchor.diff:      Me = self(),
       Pid1 = spawn(fun() -> proc(Me) end),
       yes = global:register_name(name, Pid1),
  +    wait_for_monitor(Pid1),
       Pid2 = spawn(fun() -> proc(Me) end),
       _ = global:re_register_name(name, Pid2),
  +    wait_for_monitor(Pid2),
       Pid2 ! die,
       Pid1 ! die,
       receive {Pid1, MonitoredBy1} -> [] = MonitoredBy1 end,
  
positive.code:     _ = global:unregister_name(name),
      init_condition(Config),
      ok.
  
  proc(Parent) ->
      receive die -> ok end,
  
negative.code: %%
  %% %CopyrightBegin%
  %%
  %% Copyright Ericsson AB 1997-2019. All Rights Reserved.
  %%
  %% Licensed under the Apache License, Version 2.0 (the "License");
  %% you may not use this file except in compliance with the License.
  