1test :: Bool -> Bool
2test b = True && (case b of
3   False -> _w0
4   True -> _w1)
5