MPS-19125 - first shot on dataflow analysis of the variable usage
MPS-19125 - implemented a dataflow-based check for uninitialized reads to rule out false positives
Merge remote-tracking branch 'origin/master' into 3.1/vaclavFixes