solidity/test/libyul/yulOptimizerTests/structuralSimplifier/bugfix_visit_after_change.yul

{
	// This tests that a bug is fixed where x := 1 was wrongfully
	// taken into account before actually visiting the if statement.
	let x := 0
	if x {
		x := 1
	}
}
// ====
// step: structuralSimplifier
// ----
// { let x := 0 }