Finish "Set SEQ/ACK number"
put verifyReceivedPacket and omitconnectionState to Recv_tcp_packet
call verifyReceivedPacket in the send_tcp_packet