Update SemanticAnalyzer