> Probably the thing to do is to Vector.map2 against the tuple returned by > the shrinker and the expected variables, adding the appropriate Var = Var > global statements. These extraneous assignments will be killed off by the > removeUnused pass if they are truly unused in the rest of the program. This works.