(* Do not do anything *)
let schedule_sequence inst btl = None