{
let x, y
if x { mstore(0, 0) }
if y { mstore(0, 0) }
}
// ====
// step: structuralSimplifier
// ----
// { let x, y }