anchor.diff:  			 * Only if the forwarding ring buffer is empty, extract packet from
   			 * the host tx buffer.
   			 */
  -			if (!is_empty && blast_phase == 0)
  +            if (!is_empty && flow_add_blast_phase == 0 && flow_rem_blast_phase == 0)
   				ring_buffer[index].read_request.put(makeReadReq(READ));
  -			else
  +
  +			else if (flow_rem_blast_phase == 0)
   			begin
   				if (verbose)
   				begin
  
positive.code: 
      for (Integer i = 0; i < valueof(NUM_OF_ALTERA_PORTS); i = i + 1)
      begin
          rule start_polling_rx (curr_state == RUN && start_polling_rx_buffer == 1
                                 && stop_polling[i] == 0);
              let ring_buf_empty <- rx_ring_buffer[i].empty;
  
negative.code:                     /* Find the index of the ring buffer to insert to. */
                      IP dst_ip = (buffered_data[i])[143:112];
                      IP src_ip = (buffered_data[i])[175:144];
                      Bit#(1) ctrl_bits = (buffered_data[i])[111];
  
                      /* Check if a flow is to be added or removed */
                      recvd_pkt_src_ip[i] <= src_ip;
                      recvd_pkt_dst_ip[i] <= dst_ip;
                      recvd_pkt_ctrl_bits[i] <= ctrl_bits;
                      check_flow_add_remove_rx_flag[i] <= 1;
  
                      if (dst_ip == ip_address(host_index))
                          ring_buffer_index_fifo[i].enq(0);
  