Dead Code: Multi-Block Handling in Single-Block Preconditioned Pass

[stry-tt]

Description

noir/compiler/noirc_evaluator/src/ssa/opt/remove_enable_side_effects.rs

Lines 60 to 65 in f370fc6

	self.simple_optimization(|context| {
	if Some(context.block_id) != previous_block {
	active_condition = one;
	last_side_effects_enabled_instruction = None;
	}
	previous_block = Some(context.block_id);

The pass contains multi-block handling code that resets state on block transitions, but the module's precondition states that the function must have only one basic block. This code is effectively dead/defensive in nature.