Semantic Analysis for Compiler for mC