Semantic Analyser: Disabled false tests

Those tests may not reflect the specification. Need to be checked.
Semantic Analyser: Fix dead code detection

Detection over if/else was broken, one dead path marked the whole node as dead.