[SemanticCheck] Check function and variable names