Technique for gathering information about the possible set of values calculated at various points in a computer program