Check new scheduling paths against newly added terminal states
When two branches independently add a terminal state and a scheduling path, a clean merge can preserve all old guards while the new path still queues obsolete work. Compare every newly introduced scheduling function with the current terminal-state policy after updating release an…