Checker test for optimizations on instanceof.