test :: Bool -> Bool -> Bool
test a b
  | a = case b of
  False -> _w0
  True -> _w1