Semantic Analyser: Detect dead code in block.