open RTL
open Registers

(* Do not do anything *)
let schedule_sequence (seqa : (instruction*Regset.t) array) = None