uploading Semantic_checking Tiger.g