anchor.diff:     function Action fa_finish_with_no_output();
         action
            pc        <= fv_fall_through_pc(pc);
  -         cpu_state <= STATE_FINISH;
  +         cpu_state <= STATE_FETCH;
         endaction
      endfunction
   
  
positive.code: 
           Decoded_Instr decoded = fv_decode(pc, instr);
           fa_exec(decoded);
        end
     endrule
  
  
negative.code: 
        // NOTE: DOES NOT check register x0 because set value to Zero when read
        regfile.upd(rd, rd_value);
        cpu_state <= STATE_FETCH;
     endrule
  
  
  
     // ---------------- Increment csr_cycle according to external oracles
  
  