Added preemption-inserting pass.