More improvements to unrecheable code
Adding a basic implementation of 'Conditional jump or move depends on uninitialized value(s)'
Implementation is not totally safe
Using graph-based analizer to check variables read and initialized in conditional branches
Check parent branches for unrechable branches
Using a 'warning' to report first-time assigments in conditional branches in non-safe cases
Merge branch 'original/master'