VolumeTracker to track set of all possible volumes

[tysolov]

As is, the volume tracker only tracks a conservative estimate of a variable's volume (as the lower-bound) at each instruction.

This feature would enhance the volume tracker to collect the set of all possible volumes of a variable over all execution paths.