#716 Skip propagation bug in switch/condition operators

When switch/condition marks unselected branches as executed, downstream tasks depending on skipped branches incorrectly see their dependencies satisfied. Fixed by adding skipped_tasks tracking with skip propagation.