(* Do not do anything *)
let schedule_sequence seqa btl (live_regs_entry : Registers.Regset.t)
    (typing : RTLtyping.regenv) reference =
  None