Semantic Analyser: Initialization test for if/else