anchor.diff:  
       i("start 'tester' evaluator"),
       TesterInitState = #{prim_server => PrimServer#ev.pid,
  -                        sec_server1  => SecServer1#ev.pid,
  -                        sec_server2  => SecServer2#ev.pid,
  -                        sec_server3  => SecServer3#ev.pid},
  +                        sec_server1 => SecServer1#ev.pid,
  +                        sec_server2 => SecServer2#ev.pid,
  +                        sec_server3 => SecServer3#ev.pid},
       Tester = ?SEV_START("tester", TesterSeq, TesterInitState),
   
       i("await evaluator"),
  
positive.code:                            ok = ?SEV_AWAIT_CONTINUE(Tester, tester, close)
                     end},
           #{desc => "close socket",
             cmd  => fun(#{sock := Sock} = State) ->
                             case socket:close(Sock) of
                                 ok ->
                                     {ok, maps:remove(sock, State)};
  
negative.code:            fun() ->
                     Recv      = fun(Sock, To) -> socket:recvfrom(Sock, [], To) end,
                     InitState = #{domain   => inet,
                                   protocol => udp,
                                   recv     => Recv},
                     ok = sc_lc_receive_response_udp(InitState)
  