Nested instanceOf conditions of disjoint types create blocks of code that never execute