Much of these type tests are redundant, because even in a dynamically typed programming language like JavaScript, most variables don't change type over the execution of a program. We're now able to eliminate 94.3% of dynamic type tests on average, and we eliminate more than 80% of type tests on every benchmark. You might be wondering how this is possible, how BBV can possibly eliminate more type tests than what should be an upper bound on the number of type tests that can be eliminated.