anchor.diff:  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   
   sc_rc_receive_response_tcp(InitState) ->
  +    %% Each connection are handled by handler processes.
  +    %% These are created (on the fly) and handled internally 
  +    %% by the server!
       ServerSeq =
           [
            %% *** Init part ***
  
positive.code:                            _MRef = erlang:monitor(process, Pid),
                             ok
                     end},
           #{desc => "monitor client",
             cmd  => fun(#{client := Pid} = _State) ->
                             _MRef = erlang:monitor(process, Pid),
                             ok
                     end},
  
negative.code:                            ?SLEEP(?SECS(1)),
                             ok
                     end},
           #{desc => "order client 1 continue (close)",
             cmd  => fun(#{client1 := Pid} = _State) ->
                             ev_continue(Pid, close),
                             ok
                     end},
           #{desc => "await client 1 ready (close)",
             cmd  => fun(#{server  := Server,
                           client1 := Client1,
                           client2 := Client2,
                           client3 := Client3} = _State) ->
                             ev_await_ready(Client1, client1, close, 
                                            [{server,  Server},
                                             {client2, Client2},
                                             {client3, Client3}]),
                             ok
                     end},
           #{desc => "order client 2 continue (close)",
             cmd  => fun(#{client2 := Pid} = _State) ->
                             ev_continue(Pid, close),
                             ok
                     end},
           #{desc => "await client 2 ready (close)",
             cmd  => fun(#{server  := Server,
                           client1 := Client1,
                           client2 := Client2,
                           client3 := Client3} = _State) ->
                             ev_await_ready(Client2, client2, close, 
                                            [{server,  Server},
                                             {client1, Client1},
                                             {client3, Client3}]),
                             ok
                     end},
           #{desc => "order client 3 continue (close)",
             cmd  => fun(#{client3 := Pid} = _State) ->
                             ev_continue(Pid, close),
                             ok
                     end},
           #{desc => "await client 3 ready (close)",
             cmd  => fun(#{server  := Server,
                           client1 := Client1,
                           client2 := Client2,
                           client3 := Client3} = _State) ->
                             ev_await_ready(Client3, client1, close, 
                                            [{server,  Server},
                                             {client1, Client1},
                                             {client2, Client2}]),
                             ok
                     end},
           #{desc => "await server ready (close for all connections)",
             cmd  => fun(#{server  := Server,
                           client1 := Client1,
                           client2 := Client2,
                           client3 := Client3} = _State) ->
                             ev_await_ready(Server, server, recv_closed,
                                            [{client1, Client1},
                                             {client2, Client2},
                                             {client3, Client3}]),
                             ok
                     end},
  
           %% Terminations
           #{desc => "order client 1 to terminate",
             cmd  => fun(#{client1 := Pid} = _State) ->
                             ev_terminate(Pid),
                             ok
                     end},
           #{desc => "await client 1 termination",
             cmd  => fun(#{client1 := Pid} = State) ->
                             ev_await_termination(Pid),
                             State1 = maps:remove(client1, State),
                             {ok, State1}
                     end},
           #{desc => "order client 2 to terminate",
             cmd  => fun(#{client2 := Pid} = _State) ->
                             ev_terminate(Pid),
                             ok
                     end},
           #{desc => "await client 2 termination",
             cmd  => fun(#{client2 := Pid} = State) ->
                             ev_await_termination(Pid),
                             State1 = maps:remove(client2, State),
                             {ok, State1}
                     end},
           #{desc => "order client 3 to terminate",
             cmd  => fun(#{client3 := Pid} = _State) ->
                             ev_terminate(Pid),
                             ok
                     end},
           #{desc => "await client 3 termination",
             cmd  => fun(#{client3 := Pid} = State) ->
                             ev_await_termination(Pid),
                             State1 = maps:remove(client3, State),
                             {ok, State1}
                     end},
           #{desc => "order server to terminate",
  