In a similar vein to #229, we should be undeclaring variables that don't actually get used in the test-case. This'd actually be somewhat easier, as we don't mix declarations and code at the moment and so all of the variables would be in either global or thread-level declaration pools.
In a similar vein to #229, we should be undeclaring variables that don't actually get used in the test-case. This'd actually be somewhat easier, as we don't mix declarations and code at the moment and so all of the variables would be in either global or thread-level declaration pools.