anchor.diff:                                      (RQuery(query),Conn(id,c))
                           | Handshake.InFinished(hs) ->
                                   (* Ensure we are in Finishing state *)
  -                                match x with
  +                                match c_read.disp with
                                       | Finishing ->
                                           let c = {c with read = c_read;
                                                           handshake = hs} in
  
positive.code:                               let closed = closeConnection (Conn(id,c)) in
                                (RError(EInternal(x,y)),closed) // TODO: We might want to send some alert here.
  
                    | Alert, x when x = Init || x = FirstHandshake || x = Open ->
                          match Alert.recv_fragment id c.alert rg f with
                            | Correct (Alert.ALAck(state)) ->
                                let c = {c with read = c_read;
  
negative.code:             | Closed -> (RError(EInternal(Dispatcher,InvalidState)),Conn(id,c))
              | _ ->
                  match (ct,c_read.disp) with 
                    | (Handshake, Init) | (Handshake, FirstHandshake(_)) | (Handshake, Finishing) | (Handshake, Open) ->
                        let c_hs = c.handshake in
                          match Handshake.recv_fragment id c_hs rg f with
                          | Handshake.InAck(hs) ->
  