BBV is able to eliminate more type tests than a static analysis, and produces measurable improvements in running time on the benchmarks we've tested it on. Running the static type analysis produced a very significant slowdown (over 2x) on some benchmarks, even when the results of the said analysis were not used. Simply running the analysis in the same process brought a huge performance penalty in terms of execution time, with the time taken by the analysis itself excluded from measurement.