Added test for type checking of dictionary comprehension