Semantic Analyser: Initialization detection fixes.

Initialization in if/else branches was not correctly detected.