test :: Bool -> Bool
test b = True && (case b of
   False -> _w0
   True -> _w1)