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

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