anchor.diff:                                   type     => stream,
                                    protocol => tcp,
                                    recv     => Recv},
  -                   ok = sc_receive_response_local_close_tcp(InitState)
  +                   ok = sc_lc_receive_response_tcp(InitState)
              end).
   
   
  
positive.code:                                  type     => stream,
                                   protocol => tcp,
                                   recv     => Recv},
                     ok = sc_receive_response_remote_close_tcp(InitState)
             end).
  
  
  
negative.code:     Acceptor = evaluator_start("acceptor", AcceptorSeq, AccInitState),
  
      p("start handler evaluator"),
      HandlerInitState = #{recv => maps:get(recv, InitState)},
      Handler = evaluator_start("handler", HandlerSeq, HandlerInitState),
  
      p("start client evaluator"),
  