Uninitvar: Added TODO test case for false negatives. Related with #4652