Checker test to make sure we recognize the pattern:
if (foo.getClass() == Foo.class)
For doing better type propagation.