Added Semantic Analysis unit test.