Semantic Analyzer finished except for small bugs