anchor.diff:     rule rx_stage3_compute_c_local_next(mode==0);
         let vLocal <- toGet(localOutputFifo).get();
         let vRemote <- toGet(remoteOutputFifo).get();
  -      let useLocal <- toGet(localGtRemoteFifo).get();
  -      let _unused_ <- toGet(localLeRemoteFifo).get();
  +      let useLocal <- toGet(localGeRemoteFifo).get();
  +      let _unused_ <- toGet(localLtRemoteFifo).get();
         if(verbose) $display("%d: %d, vLocal=%h", cycle, id, vLocal);
         if(verbose) $display("%d: %d, vRemote=%h", cycle, id, vRemote);
         if(verbose) $display("%d: %d, delay=%h", cycle, id, delay);
  
positive.code:    FIFOF#(Bit#(53)) globalOutputFifo <- mkFIFOF;
     FIFOF#(Bit#(53)) remoteOutputFifo <- mkFIFOF;
  
     FIFOF#(Bool) localLeRemoteFifo  <- mkFIFOF;
     FIFOF#(Bool) localGtRemoteFifo  <- mkFIFOF;
     FIFOF#(Bool) globalLeRemoteFifo <- mkFIFOF;
     FIFOF#(Bool) globalGtRemoteFifo <- mkFIFOF;
     FIFOF#(Bool) globalLeLocalFifo  <- mkFIFOF;
  
negative.code:       let v_global <- toGet(globalOutputFifo).get();
        let isGR <- toGet(globalGtRemoteFifo).get();
        let isGL <- toGet(globalGtLocalFifo).get();
        let isLR <- toGet(localGeRemoteFifo).get();
        let isLG <- toGet(globalLeLocalFifo).get();
        let isRG <- toGet(globalLeRemoteFifo).get();
        let isRL <- toGet(localLtRemoteFifo).get();
        let global_delay = fromInteger(valueOf(GLOBAL_DELAY));
        if (isGR && isGL) begin
           c_local_next <= v_global + global_delay;
  