TypeResolver doesn't work with user defined types. ex: ` Cat a; ` This expression gives us null pointer error.