Instantiation time exception is sometimes reporting the wrong number

[sohah]

This one is simple, and it is happening on jitAnalysis branch, I haven't checked if it also exists on master, but that seemed likely.
The problem is with the statistic number "Instantiation time exception", its reports a zero value for Siena, with 1 symbolic input when I can see multiple instantiation time failures, this is only happening when running the old static analysis, jitAnalysis somehow seems to be reporting the right number of instantiation time failures. that does not seem to be happening in other benchmarks such as schedule.

I am assigning this to myself, since I am not sure that it is happening on master.

[sohah]

I checked master, the statistic seems to have been commented out, may be because we intended to fix/expand the statistics. I am assigning this also to Vaibhav as well, since he was interested in collecting reasons for exceptions and failing opportunities of veritesting.