[analyzer] Add missing state transition in IteratorChecker.
After cleaning up program state maps in checkDeadSymbols(),
a transition should be added to generate the new state.
Differential Revision: https://reviews.llvm.org/D47417
llvm-svn: 338263