anchor.diff:     function Action fa_finish_cond_branch(Bool condition_taken, Addr next_pc);
         action
            pc        <= (condition_taken ? next_pc : fv_fall_through_pc(pc));
  -         cpu_state <= STATE_FINISH;
  +         cpu_state <= STATE_FETCH;
         endaction
      endfunction
   
  
positive.code: 
        // NOTE: DOES NOT check register x0 because set value to Zero when read
        regfile.upd(rd, rd_value);
        cpu_state <= STATE_FINISH;
     endrule
  
  
     // ---------------- FINISH: increment csr_instret or record explicit CSRRx update of csr_instret
  
     rule rl_finish(cpu_state == STATE_FINISH);
        if (cfg_verbose > 1) $display("[%7d] rl_finish: ", csr_cycle);
  
        csr_instret <= csr_instret + 1;
        cpu_state   <= STATE_FETCH;
     endrule
  
     // ---------------- Increment csr_cycle according to external oracles
  
  
negative.code:    function Action fa_finish_with_no_output();
        action
           pc        <= fv_fall_through_pc(pc);
           cpu_state <= STATE_FETCH;
        endaction
     endfunction
  
  