hls-tactics-plugin-1.8.0.0: new/test/golden/MetaChoice.hs
reassoc :: (a, (b, c)) -> ((a, b), c) reassoc (a, (b, c)) = [wingman| split; split | assume c; assume a | assume b |]
reassoc :: (a, (b, c)) -> ((a, b), c) reassoc (a, (b, c)) = [wingman| split; split | assume c; assume a | assume b |]