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

test :: ((), (b, c), d)
test = (_w0, _w1, _w2)