(module (type $none_=>_none (func)) (func $contrast (local $x i32) (local $y i32) (local $z i32) (local $a i32) (local $b i32) (local.set $x (i32.const 1) ) (if (local.get $x) (nop) ) (if (local.get $x) (nop) ) (nop) (drop (if (result i32) (i32.const 2) (i32.const 3) (i32.const 4) ) ) (nop) (drop (block $block (result i32) (i32.const 5) ) ) (if (i32.const 6) (local.set $a (i32.const 7) ) (local.set $a (i32.const 8) ) ) (drop (local.get $a) ) (block $val (if (i32.const 10) (block $block4 (local.set $b (i32.const 11) ) (br $val) ) ) (local.set $b (i32.const 12) ) ) (drop (local.get $b) ) ) )