anchor.diff:  
   fin_pre(S, Args = [_Ip, _Port, _RIp, _RPort, _Seq, _Ack, Id]) ->
     in_tcp_state(S, Id, fin_states()) andalso
  -    fin_adapt(S, Args) == Args.
  +  fin_adapt(S, Args) == Args.
   
   fin_adapt(S, [_, _, _, _, _, _, Id]) ->
     case get_socket(S, Id) of
  
positive.code:   end.
  
  %% --- deliver ---
  
  %% deliver_pre(S) ->
  %%   S#socket.rcvd /= S#socket.seq.
  
  deliver_sockets(S) ->
    [ Sock || Sock <- S#state.sockets,
  
negative.code:   Data = encode(RemoteIp, Ip, Packet),
    inject(RemoteIp, Ip, Data),
    ok.
  
  syn_adapt(S, [_, _, Ip, Port, Seq, Id]) ->
    case get_socket(S, Id) of
  