Merge pull request #153 from zaets28rus/142_issue

Fix #142 Issue about empty-array for array type in function
Improvements to unrecheable code detector
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
Init zval href move to method style