Update semanticAnalysis.c