master
add_instr_to_current_state
def add_instr_to_current_state(self, instr, block, assignments, ir_blocks_all, gen_pc_updt):