anchor.diff:        //tags.portA.request.put(BRAMRequest{write:True, responseOnWrite:False, address:head_ptr, datain:True});
         //tags[head_ptr] <= True;
         begin
  -	 let t = tags.r2;
  +	 let t = tags[1];
   	 t[head_ptr] = 1;
  -	 tags.r2 <= t;
  +	 tags[1] <= t;
         end
         head_ptr <= head_ptr+1;
         tagFifo.enq(head_ptr);
  
positive.code: import Assert::*;
  import BRAM::*;
  import RegFile::*;
  import EHR::*;
  
  // CONNECTAL Libraries
  import MemTypes::*;
  
negative.code:    rule complete_rule1 (comp_state[0] != 0);
        //let rv <- tags.portB.response.get;
        //let rv = tags[tail_ptr];
        let rv = tags[1][tail_ptr] == 1;
        if (!rv) begin
  	 tail_ptr <= tail_ptr+1;
  	 counter.increment(1);
  