insn_extract takes an rtx_insn