added tests
add lost-in-transmit-test
added more return/break tests
added coverage tests and bug fix
Semantic Analyser: Fix dead code detection
Merge branch 'semantic_analyzer'