Update semanticAnalysis.c

Implement check for system library calls in correct.c.