get_ebb_head_tail works with rtx_insn