Make rescheduleMIBelowKill() and rescheduleKillAboveMI() LiveIntervals-aware in