Semantic Analizer almost done