> > 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. Did you check in the fix? I didn't see it.