[analyzer] Fix null tracking for the given test case, by using the proper state and removing redundant code.
[analyzer] Remove another redundancy from trackNullOrUndef
[analyzer] Reword error messages for nil keys and values of NSMutableDictionary.