refactoring uninitialized reads checks to analyzers
removed unnecessary code from data flow util