hls-tactics-plugin-1.8.0.0: old/test/golden/DestructAllAnd.expected.hs

and :: Bool -> Bool -> Bool
and False False = _w0
and False True = _w1
and True False = _w2
and True True = _w3