Initial - Semantic analysis stage