Semantic AnalysisΒΆ

TODO