(module
 (type $none_=>_i32 (func (result i32)))
 (func $sink-from-inside (result i32)
  (local $0 i32)
  (local $1 i32)
  (local $2 i32)
  (nop)
  (i32.and
   (select
    (i32.const 0)
    (i32.const 1)
    (i32.const 1)
   )
   (block $block (result i32)
    (nop)
    (nop)
    (nop)
    (i32.const 1)
   )
  )
 )
)