Explicit Preemption Placement for Real-Time Conditional Code