make delete_insn () take a rtx_insn *