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

test :: ((), (b, c), d)
test = (_, _, _)