Update semanticAnalyzer