adjustment to new structType and m3 tests added
added tests
updated m3-test and added tests
Merge branch 'master' into semantic_analyzer
Semantic Analyser: Specification and tests

* Updated to latest ReportType specification.
* Fixed analyzer bugs.
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.
Merge branch 'master' into semantic_analyzer