anchor.diff:        end
         else begin
            c_local_next <= v_local + 1;
  -         err = True;
  +//         err = True;
         end
   
         if (err) begin
  
positive.code: 
     rule switch_out_c_global;
        let v <- toGet(dtpGlobalInFifo).get;
        if (is_switch_mode && beacon_rcvd) begin
           if (verbose) $display("%d: received global counter %d", cycle, v);
           globalCompareRemoteFifo.enq(v + 1);
  
negative.code:       if(verbose) $display("%d: isGR=%d, isGL=%d, isLR=%d, isLG=%d, isRG=%d, isRL=%d", cycle, isGR, isGL, isLR, isLG, isRG, isRL);
        if (isGR && isGL) begin
           c_local_next <= v_global + global_delay;
  //        err = True;
        end
        else if (isLR && isLG) begin
           c_local_next <= v_local + 1;
  